Minimal Invariant Spaces in Formal Topology (1996)

Cached

Download Links

by Thierry Coquand
Venue:The Journal of Symbolic Logic
Citations:4 - 1 self

Active Bibliography

189 Toposes, Triples and Theories – Michael Barr, Charles Wells - 2005
7 A Pointfree approach to Constructive Analysis in Type Theory – Jan Cederquist - 1997
A Topological Model of Ultrafilters – Thierry Coquand - 1997
A Boolean Model of Ultrafilters – Thierry Coquand
84 Infinite Objects in Type Theory – Thierry Coquand
18 Entailment Relations and Distributive Lattices – Jan Cederquist, Thierry Coquand - 1998
75 An ergodic Szemer'edi theorem for commuting transformations – H. Furstenberg, Y. Katznelson, Y. Katznelson - 1979
5 The metamathematics of ergodic theory – Jeremy Avigad - 2009
3 A constructive topological proof of van der Waerden's theorem – Thierry Coquand - 1993