Program
There are four sessions: Wednesday afternoon, Thursday morning, Thursday afternoon and Friday morning. Wednesday morning and Friday afternoon are free for discussion. show abstracts
Wednesday, July 9 | |
|---|---|
| 2.00pm—3.00pm | John Baldwin: Interactions of Set Theory, $L_{\omega_1,\omega}$, and AEC. |
| 3.15pm—4.15pm | Arnold Beckmann: Proof Theoretic Characterisations of Feasible Set Functions. |
| 4.45pm—5.45pm | Ulrik Buchholtz: Systems of Strength $H(1)$. |
Thursday, July 10 | |
| 8.30am—9.30am | Sam Buss: Cobham Recursive Set Functions. |
| 9.45am—10.45am | Tapani Hyttinen: Infinitely deep languages and neighbors. |
| 11.15am—12.15pm | Julia Knight: Computing a floor function. |
| 2.00pm—3.00pm | Chris Laskowski: When excellence and local finiteness collide. |
| 3.15pm—4.15pm | Russell Miller: Functors in Computable Model Theory. |
| 4.45pm—5.45pm | Antonio Montalban: Classes of structures with no intermediate isomorphism problems. |
— Workshop Dinner — | |
Friday, July 11 | |
| 8.30am—9.30am | Michael Rathjen: Power Kripke-Platek set theory, ordinal analysis and global choice. |
| 9.45am—10.45am | Neil Thapen: Set functions with small circuits. |
| 11.15am—12.15pm | Andreas Weiermann: Analytic combinatorics of the transfinite. |
+43-1-4277-50501.
Last updated: 2014-06-21, 00:06.