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 deﬁne and accessible. They are closely related to the phenomena of stationary reﬂection 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
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
Wed 13.12.2017 12-14, C124
Miika Hannula (University of Auckland): TBA
Wed 20.12.2017 12-14, C124