# Logic and Set Theory - all events

This is a list of all past and forthcoming Logic and Set Theory events.

Browse forthcoming Logic and Set Theory events only.

Browse events from 2014 and earlier.

Logic & Set Theory seminar: Classifiability of Homeomorphism Relations
28 September 2015, 12.01 AM - 28 September 2015, 3.30 PM
Vadim Kulikov,University of Helsinki
*Howard House, 4th floor seminar room*
Logic & Set Theory seminar: The Dark Side of Class Forcing
10 March 2015, 2.30 PM - 25 February 2015, 3.30 PM
Peter Holy, University of Bonn
*Howard House, 4th floor seminar room*
Logic & Set Theory seminar: A null ideal for inaccessibles?
24 March 2015, 2.30 PM - 24 March 2015, 3.30 PM
Giorgio Laguzzi, Albert-Ludwigs-Universitaet Freiburg
*Howard House, 4th floor seminar room*
Logic & Set Theory seminar: Tarskian Satisfaction Predicates, Revisited
21 April 2015, 2.30 PM - 21 April 2015, 3.30 PM
Ali Enayat, University of Gothenburg
*Howard House, 4th floor seminar room*
Logic & Set Theory seminar: A model-theoretic view of modules
2 June 2015, 4.00 PM - 2 June 2015, 5.00 PM
Mike Prest, University of Manchester
*Howard House, 4th floor seminar room*
Logic & Set Theory seminar: The spectrum of κ-maximal cofinitary groups
19 May 2015, 2.30 PM - 19 May 2015, 3.30 PM
Vera Fischer, Technical University of Vienna
*Howard House, 4th floor seminar room*
Logic & Set Theory seminar: Some algebraic equivalent forms of "all reals are constructible"
16 June 2015, 2.30 PM - 16 June 2015, 3.30 PM
Silvia Steila
*Howard House 4th floor seminar room*
Logic & Set Theory Philip Welch: Small algebras on small cardinals
9 February 2016, 2.30 PM - 9 February 2016, 4.30 PM
Philip Welch
*Howard House 4th Floor Seminar Room*
Logic & Set Theory seminar: Canonical inner models with Woodin cardinals
26 January 2016, 3.00 PM - 21 January 2016, 5.00 PM
Farmer Schlutzenberg
*Howard House 4th floor seminar room*
Logic & Set Theory Seminar: Getting n-stationary reflection at a non-weakly compact cardinal
15 March 2016, 3.00 PM - 15 March 2016, 4.00 PM
Hazel Brickhill, University of Bristol
*Howard House 4th Floor Seminar Room*
Logic & Set Theory seminar: Independence, via limits
12 April 2016, 3.00 PM - 12 April 2016, 4.00 PM
Gwyneth Harrison-Shermoen, University of Leeds
*Howard House 4th floor seminar room*
Logic & Set Theory seminar: Around the (un)definability of mad families
19 April 2016, 2.00 PM - 19 April 2016, 3.30 PM
Asger Törnquist, University of Copenhagen
*Howard House 4th floor seminar room*
Logic and Set Theory seminar: Forcing minimal β-models in an extension of MK
26 April 2016, 3.00 PM - 26 April 2016, 4.00 PM
Carolin Antos-Kuby, University of Vienna
*Howard House 4th floor seminar room*
Logic & Set Theory seminar: The tree property and the continuum function
3 May 2016, 3.00 PM - 5 April 2016, 4.00 PM
Radek Honzik, Charles University, Prague
*Howard House 4th floor seminar room*
Logic & Set Theory seminar: Homeomorphism groups and their universal minimal flows
10 May 2016, 3.00 PM - 10 May 2016, 4.00 PM
Aleksandra Kwiatkowska, University of Bonn
*Howard House 4th floor seminar room*
Logic & Set Theory seminar: Formalising NBG set theory in Isabelle/HOL
24 May 2016, 3.00 PM - 24 May 2016, 4.00 PM
Ioanna Dimitriou, University of Bonn
*Howard House 4th floor seminar room*
Logic & Set Theory seminar: Interpretation functors, representation type and decidability
31 May 2016, 3.00 PM - 31 May 2016, 4.00 PM
Lorna Gregory, University of Manchester
*Howard House 4th floor seminar room*
Logic & Set Theory seminar: Dowker and Super-Dowker Filters
13 December 2016, 3.00 PM - 13 December 2016, 4.30 PM
Charles Morgan, University of Bristol
*Howard House 4th floor seminar room*
Logic & Set Theory seminar: The Simple Truth
21 April 2016, 4.00 PM - 21 April 2016, 5.00 PM
Graham Leigh, Technical University of Vienna
*Howard House 4th floor seminar room*
Logic and Set Theory:
G_delta-sigma Determinacy and generalized recursion
18 October 2016, 3.00 PM - 18 October 2016, 4.30 PM
Philip Welch University of Bristol
*Howard House 4th Floor Seminar Room*
Logic and Set Theory G_delta-sigma determinacy and generalized recursion: I Overview
11 October 2016, 3.00 PM - 11 October 2016, 4.30 PM
Philip Welch
*Howard House 4th Floor Seminar Room*
Logic & Set Theory Seminar: Is the simplicial model of univalent foundations constructive?
1 June 2016, 3.00 PM - 1 June 2016, 4.30 PM
Nicola Gambino (University of Leeds)
*Howard House 4th Floor Seminar Room*
Logic & Set Theory Seminar: The Ramified Analytical Hierarchy and Strong Logics
17 January 2017, 3.00 PM - 17 January 2017, 4.30 PM
Philip Welch, University of Bristol
*Howard House 4th Floor Seminar Room*
Logic and Set Theory Seminar: Forcing with small working parts
31 January 2017, 3.00 PM - 31 January 2017, 4.30 PM
Charles Morgan, UoB
*Howard House 4th Floor Seminar Room*
Logic and Set Theory:
Sigma_1-partition properties
14 February 2017, 3.00 PM - 14 February 2017, 4.30 PM
Philipp Luecke Hausdorff Center, University of Bonn
*Howard House 4th Floor Seminar Room*
Logic and Set Theory: Programs from constructive and classical proofs
28 February 2017, 3.00 PM - 28 February 2017, 4.30 PM
Monika Seisenberger (Swansea)
*Howard House 4th Floor Seminar Room*
A brief story of gaps in the infinite time Turing machines
9 May 2017, 3.00 PM - 9 May 2017, 4.30 PM
Dr Sabrina Ouazzani, Laboratoire d’Algorithmique, Complexité et Logique, Paris-Est Creteil, University.
*Howard House 4th Floor Seminar Room*