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.