# 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 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

exam week

Wed 1.11.2017 12-14, C124

Aleksi Saarela (University of Turku): Studying Word Equations by Geometric and Algebraic Methods

Wed 8.11.2017 12-14, C124

cancelled

Wed 15.11.2017 12-14, C124

Jouko Väänänen: Internal Categoricity

Wed 22.11.2017 12-14, C124

Gil Sagi (Haifa): Logic and Natural Language

*Abstract*: Most of the contemporary research in logic is carried out with respect to formal, mathematical, languages. Logic, however, is said to be concerned with correct reasoning, and it is natural language that we usually reason in. Can logic keep its promise in the realm where its motivation originates? On the one hand, we have formal semanticists who study the logic of natural language, assuming it exists. On the other hand, some philosophers have denied that there is a logical consequence relation in natural language. Do they mean the same thing by ``logic’’?

The aim of this talk is twofold. First, I shall try to make sense of the question of logic in natural language in an interesting way. To this end I will refer to the works of Frege, Tarski, Carnap, Quine, Davidson, Montague, Glanzberg, among others. Second, I will propose an answer. An attempted positive response will resolve the normative aspects of logic and the descriptive aspects of natural language using a model from Frege on the normativity of logic. However, my ultimate answer to the question as explicated will be negative. Finally, I will gesture at a positive outlook based on Carnapian voluntarism.

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): On the complexity of inclusion logic

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)