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
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
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
Systems of Strength H(1) (abstract)
Thursday, July 10th, 2014

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

09:45-10:45 Session 5: Models and Sets Session - Invited Talk
Location: Kurt Gödel Research Center
09:45
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
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
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
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
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
Power Kripke-Platek set theory, ordinal analysis and global choice (abstract)
11:15-12:15 Session 12: Proofs and Sets Session - Invited Talk
Location: Kurt Gödel Research Center
11:15
Analytic combinatorics of the transfinite (abstract)