Skip to end of metadata
Go to start of metadata

Logic Seminar

The Logic seminar is held on Wednesdays at 12-14 in C124. After the seminar we have coffee together at 14-15 in the coffee room on the 4th floor.

The seminar is led by Doc. Tapani Hyttinen and university lecturer Juliette Kennedy.

Schedule of the fall term 2017

Wed 9.8.2017 12-14, C124
Jonathan Kirby: Towards quasiminimality for complex exponentiation

Abstract: Zilber conjectured in the 1990s that the complex field equipped with the exponential function is quasiminimal: every definable subset is countable or co-countable. Recent work with Martin Bays reduces this conjecture to the conjecture that certain finite systems of equations have complex solutions. In particular, Schanuel's conjecture of transcendental number theory is no longer an obstacle. We also prove unconditionally that the complex field equipped with an approximate exponential map is quasiminimal.

Wed 6.9.2017 12-14, C124
Vadim Kulikov: The title is left as a surprise

Wed 13.9.2017 12-14, C124
Juha Kontinen: Polyteam semantics

Wed 20.9.2017 12-14, C124
Hazel Brickhill: Hyperfine Structure HFSslides.pdf

Abstract: An easy route to the fine-structural properties Godel's constructible universe, L, is normally constructed by iterating the definable power-set operation. Hyperfine structure looks more closely at where and how each constructible set is defined. I will present the basic theory of hyperfine structure, which is intuitive and easy to grasp. This can be used to prove results about L that normally require the notoriously difficult fine structure theory of Jensen, such as the existence of square sequences and morasses.

Wed 27.9.2017 12-14, C124
Hazel Brickhill: Generalised closed unbounded and stationary sets

Abstract: The notions of closed unbounded and stationary set are central to Set Theory. I will introduce a new generalisation of these notions, and describe some of their basic theory. Surprisingly for a new concept is set theory, generalised closed unbounded and stationary sets are very simple to define and accessible. They are closely related to the phenomena of stationary reflection and indescribability and can be characterised in terms of derived topologies. These notions are being used to answer questions about provability logic, and promise a range of further applications.

Wed 4.10.2017 12-14, C124
Tapani Hyttinen: Categoricity and universal classes

Wed 11.10.2017 12-14, C124
Fausto Barbero (University of Helsinki): Some observations about generalized quantifiers in logics of imperfect information

Wed 18.10.2017 12-14, C124
Miguel Moreno: \Sigma_1^1-complete quasiorders on weakly compact cardinals

Wed 25.10.2017 12-14, C124
exam week

Wed 1.11.2017 12-14, C124
Aleksi Saarela (University of Turku): TBA

Wed 8.11.2017 12-14, C124

Wed 15.11.2017 12-14, C124
Boban Velickovic TBA

Wed 22.11.2017 12-14, C124
Gil Sagi (Haifa), TBA

Wed 29.11.2017 12-14, C124
Ulla Karhumäki (Manchester): Simple Groups of Finite Morley Rank with a Finitary Automorphism Group

Abstract: The Cherlin Zilber Conjecture "Simple infinite groups of finite Morley rank are algebraic groups over algebraically closed fields" is considered to be one of the main open problems in the theory of omega-stable groups of finite Morley rank. Ehud Hrushovski suggested that it can be approached by proving first that a generic automorphism of a group of finite Morley rank closely resembles the behaviour of generalized Frobenius automorphisms of algebraic groups. In my talk I try to identify some conditions on a group of automorphism of a group of finite Morley rank that make it to resemble the group Frobenius maps and allow us to prove the Cherlin-Zilber Conjecture in these specific cases. To do so, I introduce finitary automophism groups and prove that a simple group of finite Morley rank with a group of finitary automorphisms is a Chevalley group over an algebraically closed field of positive characteristic.

Wed 6.12.2017 12-14, C124
independence day

Wed 13.12.2017 12-14, C124
Miika Hannula (University of Auckland): TBA

Wed 20.12.2017 12-14, C124
exam week



Talks of the spring term 2017

Talks of the fall term 2016

Talks of the spring term 2016

Talks of the fall term 2015

Talks of the spring term 2015

Talks of the fall term 2014

Talks of the spring term 2014

Talks of the fall term 2013

Talks of the spring term 2013

Talks of the fall term 2012

Older talks (2011-2012)


Other seminars

  • No labels