|
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 |
|
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 |
|
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 super-Dowker 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 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 |
|
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 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 |
|
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 |
Self-determined 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 |
Many-dimensional 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 Revision-theoretic Approach to Strategic Rationality |
|
|
HIFW04 |
3rd September 2015
15:10 to 15:40 |
|
First-order 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 |
|
Min-Max 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 maximal-closed 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, Semi-Stationary 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 type-free 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 |
|
Well-quasi-orderings 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 constructions---cardinal 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 |
|
Context-Dependent 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 Jayne-Rogers 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 |
|
