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 Prof. Jouko Väänänen.

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
TBA

Wed 13.9.2017 12-14, C124
TBA

Wed 20.9.2017 12-14, C124
TBA

Wed 27.9.2017 12-14, C124
TBA

Wed 4.10.2017 12-14, C124
TBA

Wed 11.10.2017 12-14, C124
TBA

Wed 18.10.2017 12-14, C124
TBA

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
TBA

Wed 15.11.2017 12-14, C124
TBA

Wed 22.11.2017 12-14, C124
TBA

Wed 29.11.2017 12-14, C124
TBA

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