VSL 2014: VIENNA SUMMER OF LOGIC 2014
INFINITY PROGRAM

Days: Wednesday, July 9th Thursday, July 10th Friday, July 11th

Wednesday, July 9th, 2014

View this program: with abstractssession overviewtalk overviewside by side with other conferences

14:00-15:00 Session 1: Models and Sets Session - Invited Talk
Location: Kurt Gödel Research Center
14:00
John Baldwin
Interactions of Set Theory, $L_{\omega_1,\omega}$, and AEC (abstract)
15:15-16:15 Session 2: Computations and Sets Session - Invited Talk
Location: Kurt Gödel Research Center
15:15
Arnold Beckmann
Proof Theoretic Characterisations of Feasible Set Functions (abstract)
16:45-17:45 Session 3: Proofs and Sets Session - Invited Talk
Location: Kurt Gödel Research Center
16:45
Ulrik Buchholtz
Systems of Strength H(1) (abstract)
Thursday, July 10th, 2014

View this program: with abstractssession overviewtalk overviewside by side with other conferences

08:30-09:30 Session 4: Computations and Sets Session - Invited Talk
Location: Kurt Gödel Research Center
08:30
Arnold Beckmann, Sam Buss, Sy-David Friedman, Moritz Mueller and Neil Thapen
Cobham Recursive Set Functions (abstract)
09:45-10:45 Session 5: Models and Sets Session - Invited Talk
Location: Kurt Gödel Research Center
09:45
Tapani Hyttinen
Infinitely deep languages and neighbors (abstract)
11:15-12:15 Session 6: Computations and Models Session - Invited Talk
Location: Kurt Gödel Research Center
11:15
Julia Knight
Computing a floor function (abstract)
14:00-15:00 Session 7: Models and Sets Session - Invited Talk
Location: Kurt Gödel Research Center
14:00
Chris Laskowski, John Baldwin and Martin Koerwien
When excellence and local finiteness collide (abstract)
15:15-16:15 Session 8: Computations and Models Session - Invited Talk
Location: Kurt Gödel Research Center
15:15
Russell Miller
Functors in Computable Model Theory (abstract)
16:45-17:45 Session 9: Computations and Models Session - Invited Talk
Location: Kurt Gödel Research Center
16:45
Antonio Montalban
Classes of structures with no intermediate isomorphism problems (abstract)
Friday, July 11th, 2014

View this program: with abstractssession overviewtalk overviewside by side with other conferences

08:30-09:30 Session 10: Proofs and Sets Session - Invited Talk
Location: Kurt Gödel Research Center
08:30
Michael Rathjen
Power Kripke-Platek set theory, ordinal analysis and global choice (abstract)
09:45-10:45 Session 11: Computations and Sets Session - Invited Talk
Location: Kurt Gödel Research Center
09:45
Neil Thapen, Arnold Beckmann, Sy-David Friedman, Samuel R. Buss and Moritz Müller
Set functions with small circuits (abstract)
11:15-12:15 Session 12: Proofs and Sets Session - Invited Talk
Location: Kurt Gödel Research Center
11:15
Andreas Weiermann
Analytic combinatorics of the transfinite (abstract)