HIFW01 
24th August 2015 10:00 to 11:00 

101 Years of Modern Set Theory: Felix Hausdorff's "Foundations of Set Theory" 

HIFW01 
24th August 2015 11:30 to 12:30 

The tree property (session 1) 

HIFW01 
24th August 2015 13:30 to 14:00 

A generalisation of closed unbounded sets 

HIFW01 
24th August 2015 13:30 to 14:00 

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 

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 

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 

Local Ramsey Theory in abstract spaces 

HIFW01 
25th August 2015 11:30 to 12:30 

The tree property (session 2) 

HIFW01 
25th August 2015 13:30 to 14:00 

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 

Forcing, regularity properties and the axiom of choice 

HIFW01 
25th August 2015 15:00 to 16:00 

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 

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 

Cofinalities of Marczewski Ideals 

HIFW01 
26th August 2015 14:00 to 14:30 

Partition Relation Equiconsistent with $\exists \kappa(o(\kappa) = \kappa^+)$ 

HIFW01 
26th August 2015 14:00 to 14:30 

On the class of perfectly null sets and its transitive version 

HIFW01 
27th August 2015 09:00 to 10:00 

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 

Happy Families and Their Relatives 

HIFW01 
27th August 2015 13:30 to 14:00 

Selective properties of ideals 

HIFW01 
27th August 2015 13:30 to 14:00 

Connecting topological dimension theory and recursion theory 

HIFW01 
27th August 2015 14:00 to 14:30 

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 

A superDowker filter 

HIFW01 
28th August 2015 09:00 to 10:00 

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 

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 

Indestructible remarkable cardinals 

HIFW04 
1st September 2015 13:00 to 14:00 

A look into generalised stability 

HIFW04 
1st September 2015 14:00 to 15:00 

In Pursuit of the Missing Premise in First Order Logic 

HIFW04 
1st September 2015 15:30 to 16:30 

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 

An application of Model Theory to Real Algebraic Geometry 

HIFW04 
2nd September 2015 11:30 to 12:30 

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 

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 

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 
Manydimensional Modal Logics 

HIFW04 
3rd September 2015 09:00 to 10:00 

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 

Descriptive set theory, endofunctors & hypercomputation 

HIFW04 
3rd September 2015 13:30 to 14:30 

Extending the Syllogistic 

HIFW04 
3rd September 2015 14:40 to 15:10 

On a Generalization of the Revisiontheoretic Approach to Strategic Rationality 

HIFW04 
3rd September 2015 15:10 to 15:40 

Firstorder Proofs Without Syntax 

HIFW04 
3rd September 2015 15:10 to 15:40 

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 

Ehrenfeucht Principles in Set Theory 

HIFW04 
4th September 2015 09:00 to 10:00 

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 

QBF proof complexity 

HIFW04 
4th September 2015 10:40 to 11:10 

Computably extendible order types 

HIFW04 
4th September 2015 11:30 to 12:30 

Forcing with large continuum 

HIFW04 
4th September 2015 13:30 to 14:30 

Constructing Quasiminimal Functions 

HIF 
8th September 2015 15:00 to 16:00 

Another proof of the failure of a higher forcing axiom 

HIF 
10th September 2015 15:00 to 16:00 

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 

Linking set theory to economics 

HIF 
29th September 2015 15:00 to 16:00 

Modal logics of the generic multiverse 

HIF 
29th September 2015 16:00 to 17:00 

Aspects of generalizing the concept of strong measure zero 

HIF 
1st October 2015 15:00 to 16:00 

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 

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 

MinMax theorems in infinite combinatorics 

HIF 
9th October 2015 14:40 to 15:35 

Saturated Boolean Ultrapowers 

HIF 
9th October 2015 15:50 to 16:45 

Uncountably many maximalclosed subgroups of Sym(N) via reducts of Henson digraphs 

HIF 
10th October 2015 11:00 to 11:55 

Weihrauch degrees for generalized Baire space 

HIF 
10th October 2015 13:00 to 13:55 

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 

Universal graphs and their variations 

HIF 
27th October 2015 15:00 to 16:00 

Dual Ramsey theory on trees 

HIF 
27th October 2015 16:00 to 17:00 

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 

Approximate Ramsey properties of matrices and finite dimensional normed spaces 

HIF 
29th October 2015 16:00 to 17:00 

Consecutively large families below the first inaccessible cardinal 

HIF 
10th November 2015 15:00 to 16:00 

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 

The surreal numbers 

HIF 
1st December 2015 15:00 to 16:00 

Forcing the truth of a weak form of Schanuel's conjecture 

HIF 
8th December 2015 15:00 to 16:00 

The nature of measurement in set theory 

HIF 
10th December 2015 15:00 to 16:00 

Some more on $G_\delta\sigma$ determinacy and generalized recursion 

HIFW03 
14th December 2015 10:00 to 11:00 

Ramsey theory in topological dynamics 

HIFW03 
14th December 2015 11:30 to 12:00 

Strong Chang's Conjecture, SemiStationary Reflection, Strong Tree Property and Two Cardinal Square Principles 

HIFW03 
14th December 2015 13:30 to 14:30 

Approximate Ramsey properties of Matrices 

HIFW03 
14th December 2015 15:00 to 15:30 

The unreasonable effectiveness of Nonstandard Analysis 

HIFW03 
14th December 2015 16:00 to 17:00 

A revision theory for typefree probability 

HIFW03 
15th December 2015 10:00 to 11:00 

On relating strong type theories and set theories 

HIFW03 
15th December 2015 11:30 to 12:30 

Inaccessible cardinals and accessible categories 

HIFW03 
15th December 2015 13:30 to 14:30 

The Pinning Down Number and Cardinal Arithmetic 

HIFW03 
15th December 2015 14:45 to 15:45 

Partition Relation Perspectives 

HIFW03 
15th December 2015 16:00 to 17:00 
M Magidor 
TBA 

HIFW03 
16th December 2015 10:00 to 11:00 

Wellquasiorderings for progam analysis and computational complextiy 

HIFW03 
16th December 2015 11:30 to 12:00 

Infinite Matroids and Pushdown Automata on Infinite Words 

HIFW03 
16th December 2015 12:00 to 12:30 

Weihrauch degrees of determinacy 

HIFW03 
16th December 2015 13:30 to 14:30 

Computing beyond Constructibility: The Recognizability Strength of Ordinal Time Machines 

HIFW03 
16th December 2015 15:00 to 16:00 

Long and short recursive constructionscardinal invariants and parametrized diamonds 

HIFW03 
17th December 2015 10:00 to 11:00 

Set Theory and Automata Theory 

HIFW03 
17th December 2015 11:30 to 12:30 

ContextDependent Deterministic Parallel Feedback Turing Computability 

HIFW03 
17th December 2015 13:30 to 14:30 

An Introduction to infinite matroids 

HIFW03 
17th December 2015 14:45 to 15:45 

Determinacy in Infinite Matroids 

HIFW03 
17th December 2015 16:00 to 17:00 

Pairwise Sums in the Reals 

HIFW03 
18th December 2015 10:00 to 11:00 

Another proof of the JayneRogers theorem 

HIFW03 
18th December 2015 11:30 to 12:30 

Borel Matchings and equidecompositions 

HIFW03 
18th December 2015 13:30 to 14:30 

Set theory and algebraic topology 
