Fifth Workshop on Formal Topology: Spreads and Choice Sequences
Abstracts and schedule
Abstracts of talks
Final schedule.
Slides of some talks
Francesco Ciraulo, A spatiality-like property for pointfree topologies with a positivity relation.
Martín Escardó, Continuity in constructive dependent type theory.
Tatsuji Kawai, Formally representable functions from N^N to N.
Joan Rand Moschovakis, Choice sequences and their uses.
Iosif Petrakis, The Cantor space as a Bishop space.
Giovanni Sambin, Spreads and choice sequences in the minimalist foundation: Spatial intuition and computational interpretation reconciled.
Wim Veldman, The Almost Fan-Theorem.
Steve Vickers, Coherence for geometricity.
----------
June 22, 2015, Erik Palmgren.
Email: 5wftop [at] math (dot) su {dot} se