skip to content

Seminar Archive

E.g., 2015-09-05
E.g., 2015-09-05
Event Code Date Speaker Seminar Title Presentation Material
HIFW04 4th September 2015 J Kirby Constructing Quasiminimal Functions
HIFW04 4th September 2015 I Neeman Forcing with large continuum
HIFW04 4th September 2015 L Chew QBF proof complexity
HIFW04 4th September 2015 J Gay Computably extendible order types
HIFW04 4th September 2015 P Ehrlich Integration on the Surreals
HIFW04 4th September 2015 R Lubarsky Feedback Computability
HIFW04 4th September 2015 A Pitts Local Names
HIFW04 3rd September 2015 V Gitman Ehrenfeucht Principles in Set Theory
HIFW04 3rd September 2015 Coffee Break
HIFW04 3rd September 2015 D Hughes First-order Proofs Without Syntax
HIFW04 3rd September 2015 T Weinert Partition Relation for linear Orders without the Axiom of Choice
HIFW04 3rd September 2015 R Bruni On a Generalization of the Revision-theoretic Approach to Strategic Rationality
HIFW04 3rd September 2015 I Pratt-Hartman Extending the Syllogistic
HIFW04 3rd September 2015 A Pauly Descriptive set theory, endofunctors & hypercomputation
CGP 3rd September 2015 T Sekimura A model for selection of eyespots on butterfly wings
HIFW04 3rd September 2015 M Sadrzadeh A Multilinear Algebraic Semantics for Natural Language
HIFW04 3rd September 2015 A Kechris Descriptive Graph Combinatorics
HIFW04 2nd September 2015 A Kurucz Many-dimensional Modal Logics
HIFW04 2nd September 2015 A Cevik A variant of $\Pi^0_1$ class
HIFW04 2nd September 2015 S Uckelman Where are the women in medieval logic?
HIFW04 2nd September 2015 A Brooke-Taylor AEC tameness from large cardinals via category theory
HIFW04 2nd September 2015 E Rivello Self-determined sets of sentences
HIFW04 2nd September 2015 A Blass Weak Partition Relations and Conservative Elementary Extensions
HIFW04 2nd September 2015 J Hedges Applying constructive analysis and topology in game theory
HIFW04 2nd September 2015 E Garcia Ramirez An application of Model Theory to Real Algebraic Geometry
HIFW04 1st September 2015 D Siniora Generic Automorphisms of a Hrushovski construction
HIFW04 1st September 2015 E Dihoum Models of Intuitionistic Zermelo-Frankel Set Theory based on Scott's $D_{\infty}$
HIFW04 1st September 2015 O Akcelik In Pursuit of the Missing Premise in First Order Logic
HIFW04 1st September 2015 R Bello Aguirre A look into generalised stability
CGP 1st September 2015 M Winter Existence and Stability of Spike Clusters for Reaction-Diffusion Systems
HIFW01 28th August 2015 V Gitman Indestructible remarkable cardinals
HIFW01 28th August 2015 Y Zhu The higher sharp
HIFW01 28th August 2015 Z Vidnyánszky The size of conjugacy classes of automorphism groups
HIFW01 28th August 2015 M Staniszewski On ideal equal convergence
HIFW01 28th August 2015 L Zdomskyy Delta_1-definability of the non-stationary ideal
HIFW01 28th August 2015 M Goldstern Ultrafilters without p-point quotients
HIFW01 28th August 2015 NL Dobrinen Infinite dimensional Ellentuck spaces
HIFW01 27th August 2015 JWR Cummings A super-Dowker filter
HIFW01 27th August 2015 G Fuchs Prikry type sequences: a composition of interconnected results
HIFW01 27th August 2015 PM Lücke Chain conditions, layered partial orders and weak compactness
HIFW01 27th August 2015 A Kwela Selective properties of ideals
HIFW01 27th August 2015 A Pauly Connecting topological dimension theory and recursion theory
HIFW01 27th August 2015 L J Halbeisen Happy Families and Their Relatives
CGP 27th August 2015 M Zaman Lonely in a group: Single and collective cell behaviour in 3D environments
HIFW01 27th August 2015 C Delhomme The relation of attack
HIFW01 27th August 2015 A Kanamori Mathias and Set Theory
HIFW01 26th August 2015 YM Kimchi Partition Relation Equiconsistent with $\exists \kappa(o(\kappa) = \kappa^+)$
HIFW01 26th August 2015 M Korch On the class of perfectly null sets and its transitive version
HIFW01 26th August 2015 D Ikegami Universally Baire subsets of $2^{\kappa}$
HIFW01 26th August 2015 Y Khomskii Cofinalities of Marczewski Ideals
University of Cambridge Research Councils UK
    Clay Mathematics Institute The Leverhulme Trust London Mathematical Society Microsoft Research NM Rothschild and Sons