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 
D Ikegami 
Universally Baire subsets of $2^{\kappa}$ 

HIFW01 
26th August 2015
13:30 to 14:00 
Y Khomskii 
Cofinalities of Marczewski Ideals 

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 superDowker 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 ppoint quotients 

HIFW01 
28th August 2015
11:30 to 12:30 
L Zdomskyy 
Delta_1definability of the nonstationary 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 ZermeloFrankel 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 BrookeTaylor 
AEC tameness from large cardinals via category theory 

HIFW04 
2nd September 2015
14:40 to 15:10 
E Rivello 
Selfdetermined sets of sentences 

HIFW04 
2nd September 2015
15:10 to 15:40 
S Uckelman 
Where are the women in medieval logic? 

HIFW04 
2nd September 2015
15:10 to 15:40 
A Cevik 
A variant of $\Pi^0_1$ class 

HIFW04 
2nd September 2015
16:00 to 17:00 
A Kurucz 
Manydimensional 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 PrattHartman 
Extending the Syllogistic 

HIFW04 
3rd September 2015
14:40 to 15:10 
R Bruni 
On a Generalization of the Revisiontheoretic Approach to Strategic Rationality 

HIFW04 
3rd September 2015
15:10 to 15:40 
D Hughes 
Firstorder 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 
L Chew 
QBF proof complexity 

HIFW04 
4th September 2015
10:40 to 11:10 
J Gay 
Computably extendible order types 

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 
MinMax 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 maximalclosed 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 
