skip to content
 

Seminars (HIFW04)

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

Search seminar archive

Event When Speaker Title Presentation Material
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
A Cevik 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
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
University of Cambridge Research Councils UK
    Clay Mathematics Institute London Mathematical Society NM Rothschild and Sons