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
  • Edit this page