skip to content
 

Seminars (HIFW03)

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

Search seminar archive

Event When Speaker Title Presentation Material
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