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
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
University of Cambridge Research Councils UK
    Clay Mathematics Institute London Mathematical Society NM Rothschild and Sons