skip to content
 

Seminars (HIF)

Videos and presentation materials from other INI events are also available.

Search seminar archive

Event When Speaker Title Presentation Material
HIFW01 24th August 2015
10:00 to 11:00
P Koepke 101 Years of Modern Set Theory: Felix Hausdorff's "Foundations of Set Theory"
HIFW01 24th August 2015
11:30 to 12:30
D Sinapova The tree property (session 1)
HIFW01 24th August 2015
13:30 to 14:00
H Brickhill A generalisation of closed unbounded sets
HIFW01 24th August 2015
13:30 to 14:00
N Barton What is a forcing extension (of V)?
HIFW01 24th August 2015
14:00 to 14:30
A Blaszczyk Topological representation of lattice homomorphisms
HIFW01 24th August 2015
14:00 to 14:30
C Antos Hyperclass Forcing in Morse Kelley Set Theory
HIFW01 24th August 2015
15:00 to 16:00
A D Törnquist Around the definability of mad families
HIFW01 24th August 2015
16:00 to 17:00
P Schlicht The Hurewicz dichotomy for generalized Baire spaces
HIFW01 25th August 2015
09:00 to 10:00
P Koellner The Search for Deep Inconsistency
HIFW01 25th August 2015
10:00 to 11:00
C A Di Prisco Local Ramsey Theory in abstract spaces
HIFW01 25th August 2015
11:30 to 12:30
D Sinapova The tree property (session 2)
HIFW01 25th August 2015
13:30 to 14:00
V Dimonte Generic I0 at $\aleph_\omega$
HIFW01 25th August 2015
14:00 to 14:30
S Friedman Forcing failures of covering in HOD
HIFW01 25th August 2015
14:00 to 14:30
H Horowitz Forcing, regularity properties and the axiom of choice
HIFW01 25th August 2015
15:00 to 16:00
M A Mota Gaytán Symmetries
HIFW01 25th August 2015
16:00 to 17:00
P Holy Failures of the Forcing Theorem
HIFW01 26th August 2015
09:00 to 10:00
Hausdorff Medal Award
HIFW01 26th August 2015
10:00 to 11:00
Hausdorff Medal Lecture
HIFW01 26th August 2015
11:30 to 12:30
D Sinapova The tree property (session 3)
HIFW01 26th August 2015
13:30 to 14:00
Y Khomskii Cofinalities of Marczewski Ideals
HIFW01 26th August 2015
13:30 to 14:00
D Ikegami Universally Baire subsets of $2^{\kappa}$
HIFW01 26th August 2015
14:00 to 14:30
YM Kimchi Partition Relation Equiconsistent with $\exists \kappa(o(\kappa) = \kappa^+)$
HIFW01 26th August 2015
14:00 to 14:30
M Korch On the class of perfectly null sets and its transitive version
HIFW01 27th August 2015
09:00 to 10:00
A Kanamori Mathias and Set Theory
HIFW01 27th August 2015
10:00 to 11:00
C Delhomme The relation of attack
HIFW01 27th August 2015
11:30 to 12:30
L J Halbeisen Happy Families and Their Relatives
HIFW01 27th August 2015
13:30 to 14:00
A Kwela Selective properties of ideals
HIFW01 27th August 2015
13:30 to 14:00
A Pauly Connecting topological dimension theory and recursion theory
HIFW01 27th August 2015
14:00 to 14:30
PM Lücke Chain conditions, layered partial orders and weak compactness
HIFW01 27th August 2015
15:00 to 16:00
G Fuchs Prikry type sequences: a composition of interconnected results
HIFW01 27th August 2015
16:00 to 17:00
JWR Cummings A super-Dowker filter
HIFW01 28th August 2015
09:00 to 10:00
NL Dobrinen Infinite dimensional Ellentuck spaces
HIFW01 28th August 2015
10:00 to 11:00
M Goldstern Ultrafilters without p-point quotients
HIFW01 28th August 2015
11:30 to 12:30
L Zdomskyy Delta_1-definability of the non-stationary ideal
HIFW01 28th August 2015
13:30 to 14:00
M Staniszewski On ideal equal convergence
HIFW01 28th August 2015
14:00 to 14:30
Z Vidnyánszky The size of conjugacy classes of automorphism groups
HIFW01 28th August 2015
15:00 to 16:00
Y Zhu The higher sharp
HIFW01 28th August 2015
16:00 to 17:00
V Gitman Indestructible remarkable cardinals
HIFW04 1st September 2015
13:00 to 14:00
R Bello Aguirre A look into generalised stability
HIFW04 1st September 2015
14:00 to 15:00
O Akcelik In Pursuit of the Missing Premise in First Order Logic
HIFW04 1st September 2015
15:30 to 16:30
E Dihoum Models of Intuitionistic Zermelo-Frankel Set Theory based on Scott's $D_{\infty}$
HIFW04 1st September 2015
16:30 to 17:30
D Siniora Generic Automorphisms of a Hrushovski construction
HIFW04 2nd September 2015
10:00 to 11:00
E Garcia Ramirez An application of Model Theory to Real Algebraic Geometry
HIFW04 2nd September 2015
11:30 to 12:30
J Hedges Applying constructive analysis and topology in game theory
HIFW04 2nd September 2015
13:30 to 14:40
A Blass Weak Partition Relations and Conservative Elementary Extensions
HIFW04 2nd September 2015
14:40 to 15:10
A Brooke-Taylor AEC tameness from large cardinals via category theory
HIFW04 2nd September 2015
14:40 to 15:10
E Rivello Self-determined sets of sentences
HIFW04 2nd September 2015
15:10 to 15:40
A Cevik A variant of $\Pi^0_1$ class
HIFW04 2nd September 2015
15:10 to 15:40
S Uckelman Where are the women in medieval logic?
HIFW04 2nd September 2015
16:00 to 17:00
A Kurucz Many-dimensional Modal Logics
HIFW04 3rd September 2015
09:00 to 10:00
A Kechris Descriptive Graph Combinatorics
HIFW04 3rd September 2015
10:00 to 11:00
M Sadrzadeh A Multilinear Algebraic Semantics for Natural Language
HIFW04 3rd September 2015
11:20 to 12:20
A Pauly Descriptive set theory, endofunctors & hypercomputation
HIFW04 3rd September 2015
13:30 to 14:30
I Pratt-Hartman Extending the Syllogistic
HIFW04 3rd September 2015
14:40 to 15:10
R Bruni On a Generalization of the Revision-theoretic Approach to Strategic Rationality
HIFW04 3rd September 2015
15:10 to 15:40
D Hughes First-order Proofs Without Syntax
HIFW04 3rd September 2015
15:10 to 15:40
T Weinert Partition Relation for linear Orders without the Axiom of Choice
HIFW04 3rd September 2015
15:40 to 16:00
Coffee Break
HIFW04 3rd September 2015
16:00 to 17:00
V Gitman Ehrenfeucht Principles in Set Theory
HIFW04 4th September 2015
09:00 to 10:00
A Pitts Local Names
HIFW04 4th September 2015
10:10 to 10:40
P Ehrlich Integration on the Surreals
HIFW04 4th September 2015
10:10 to 10:40
R Lubarsky Feedback Computability
HIFW04 4th September 2015
10:40 to 11:10
J Gay Computably extendible order types
HIFW04 4th September 2015
10:40 to 11:10
L Chew QBF proof complexity
HIFW04 4th September 2015
11:30 to 12:30
I Neeman Forcing with large continuum
HIFW04 4th September 2015
13:30 to 14:30
J Kirby Constructing Quasiminimal Functions
HIF 8th September 2015
15:00 to 16:00
T Inamdar Another proof of the failure of a higher forcing axiom
HIF 10th September 2015
15:00 to 16:00
M Dzamonja On the width of wqos
HIF 15th September 2015
15:00 to 16:00
R Lubarsky $\Sigma^0_3$ determinacy and friends
HIF 17th September 2015
15:00 to 16:00
ARD Mathias Linking set theory to economics
HIF 29th September 2015
15:00 to 16:00
A Block Modal logics of the generic multiverse
HIF 29th September 2015
16:00 to 17:00
W Wohofsky Aspects of generalizing the concept of strong measure zero
HIF 1st October 2015
15:00 to 16:00
ARD Mathias The Silence
HIF 5th October 2015
16:00 to 17:00
H Woodin Beyond the infinite: Rothschild Distinguished Visiting Professor Lecture
HIF 6th October 2015
15:00 to 16:00
M Kurilic Reversibility of Definable Relations
HIF 9th October 2015
12:30 to 13:25
H Nobrega Computable analysis and games in descriptive set theory
HIF 9th October 2015
13:30 to 14:25
J Carmesin Min-Max theorems in infinite combinatorics
HIF 9th October 2015
14:40 to 15:35
F Parente Saturated Boolean Ultrapowers
HIF 9th October 2015
15:50 to 16:45
L Agarwal Uncountably many maximal-closed subgroups of Sym(N) via reducts of Henson digraphs
HIF 10th October 2015
11:00 to 11:55
L Galeotti Weihrauch degrees for generalized Baire space
HIF 10th October 2015
13:00 to 13:55
J Hilton Topological Ramsey theory of countable ordinals
HIF 10th October 2015
14:00 to 14:55
P Kleppmann Free groups and the Axiom of Choice
HIF 22nd October 2015
15:30 to 16:30
J Steprans Universal graphs and their variations
HIF 27th October 2015
15:00 to 16:00
S Todorcevic Dual Ramsey theory on trees
HIF 27th October 2015
16:00 to 17:00
M Elekes Order types of chains of Borel sets and Baire functions
HIF 28th October 2015
11:00 to 12:00
N de Rancourt Ramsey Determinacy of adversarial Gowers games
HIF 29th October 2015
15:00 to 16:00
J Lopez-Abad Approximate Ramsey properties of matrices and finite dimensional normed spaces
HIF 29th October 2015
16:00 to 17:00
C Brech Consecutively large families below the first inaccessible cardinal
HIF 10th November 2015
15:00 to 16:00
G Plebanek On two problems on Boolean algebras and finitely additive measures
HIF 17th November 2015
15:00 to 16:00
S Fuchino Reflection numbers of some combinatorial and topological properties
HIF 19th November 2015
15:00 to 16:00
J H Conway The surreal numbers
HIF 1st December 2015
15:00 to 16:00
M Viale Forcing the truth of a weak form of Schanuel's conjecture
HIF 8th December 2015
15:00 to 16:00
S Miller The nature of measurement in set theory
HIF 10th December 2015
15:00 to 16:00
P Welch Some more on $G_\delta\sigma$ determinacy and generalized recursion
HIFW03 14th December 2015
10:00 to 11:00
D Bartosova Ramsey theory in topological dynamics
HIFW03 14th December 2015
11:30 to 12:00
V Torres-Perez Strong Chang's Conjecture, Semi-Stationary Reflection, Strong Tree Property and Two Cardinal Square Principles
HIFW03 14th December 2015
13:30 to 14:30
J Lopez-Abad Approximate Ramsey properties of Matrices
HIFW03 14th December 2015
15:00 to 15:30
S Sanders The unreasonable effectiveness of Nonstandard Analysis
HIFW03 14th December 2015
16:00 to 17:00
CJ Campbell Moore A revision theory for type-free probability
HIFW03 15th December 2015
10:00 to 11:00
M Rathjen On relating strong type theories and set theories
HIFW03 15th December 2015
11:30 to 12:30
J Rosický Inaccessible cardinals and accessible categories
HIFW03 15th December 2015
13:30 to 14:30
I Juhasz The Pinning Down Number and Cardinal Arithmetic
HIFW03 15th December 2015
14:45 to 15:45
J Larson Partition Relation Perspectives
HIFW03 15th December 2015
16:00 to 17:00
M Magidor TBA
HIFW03 16th December 2015
10:00 to 11:00
P Schnoebelen Well-quasi-orderings for progam analysis and computational complextiy
HIFW03 16th December 2015
11:30 to 12:00
J Wojciechowski Infinite Matroids and Pushdown Automata on Infinite Words
HIFW03 16th December 2015
12:00 to 12:30
A Pauly Weihrauch degrees of determinacy
HIFW03 16th December 2015
13:30 to 14:30
M Carl Computing beyond Constructibility: The Recognizability Strength of Ordinal Time Machines
HIFW03 16th December 2015
15:00 to 16:00
M Hrusak Long and short recursive constructions---cardinal invariants and parametrized diamonds
HIFW03 17th December 2015
10:00 to 11:00
O Finkel Set Theory and Automata Theory
HIFW03 17th December 2015
11:30 to 12:30
B Lubarsky Context-Dependent Deterministic Parallel Feedback Turing Computability
HIFW03 17th December 2015
13:30 to 14:30
J Carmesin An Introduction to infinite matroids
HIFW03 17th December 2015
14:45 to 15:45
N Bowler Determinacy in Infinite Matroids
HIFW03 17th December 2015
16:00 to 17:00
I Leader Pairwise Sums in the Reals
HIFW03 18th December 2015
10:00 to 11:00
B Miller Another proof of the Jayne-Rogers theorem
HIFW03 18th December 2015
11:30 to 12:30
A Marks Borel Matchings and equidecompositions
HIFW03 18th December 2015
13:30 to 14:30
A Brooke-Taylor Set theory and algebraic topology
University of Cambridge Research Councils UK
    Clay Mathematics Institute London Mathematical Society NM Rothschild and Sons