Metric spaces in synthetic topology

&
Annals of Pure and Applied Logic 163 (2):87-100 (2012)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/j.apal.2011.06.017

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,881

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Finitely approximable groups and actions Part I: The Ribes—Zaluesskiĭ property.Christian Rosendal - 2011 - Journal of Symbolic Logic 76 (4):1297-1306.
Expressive power in first order topology.Paul Bankston - 1984 - Journal of Symbolic Logic 49 (2):478-487.
On Metric Types That Are Definable in an O-Minimal Structure.Guillaume Valette - 2008 - Journal of Symbolic Logic 73 (2):439 - 447.
On effective topological spaces.Dieter Spreen - 1998 - Journal of Symbolic Logic 63 (1):185-221.
Topometric spaces and perturbations of metric structures.Itaï Ben Yaacov - 2008 - Logic and Analysis 1 (3-4):235-272.
Finite powers of strong measure zero sets.Marion Scheepers - 1999 - Journal of Symbolic Logic 64 (3):1295-1306.
Dynamic topological logic of metric spaces.David Fernández-Duque - 2012 - Journal of Symbolic Logic 77 (1):308-328.
Zeeman-göbel topologies.Adrian Heathcote - 1988 - British Journal for the Philosophy of Science 39 (2):247-261.
Concrete incompleteness from efa through large cardinals.Harvey M. Friedman - unknown
Reverse mathematics and π21 comprehension.Carl Mummert & Stephen G. Simpson - 2005 - Bulletin of Symbolic Logic 11 (4):526-533.
A Logic for Metric and Topology.Frank Wolter & Michael Zakharyaschev - 2005 - Journal of Symbolic Logic 70 (3):795 - 828.
Compressibility and Kolmogorov Complexity.Stephen Binns & Marie Nicholson - 2013 - Notre Dame Journal of Formal Logic 54 (1):105-123.

Analytics

Added to PP
2013-10-27

Downloads
50 (#318,125)

6 months
9 (#308,593)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

The intrinsic topology of Martin-Löf universes.Martín Hötzel Escardó & Thomas Streicher - 2016 - Annals of Pure and Applied Logic 167 (9):794-805.

Add more citations

References found in this work

On the interpretation of intuitionistic number theory.S. C. Kleene - 1945 - Journal of Symbolic Logic 10 (4):109-124.
The foundations of intuitionistic mathematics.Stephen Cole Kleene - 1965 - Amsterdam,: North-Holland Pub. Co.. Edited by Richard Eugene Vesley.
Church's thesis without tears.Fred Richman - 1983 - Journal of Symbolic Logic 48 (3):797-803.

Add more references