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