The intrinsic topology of Martin-Löf universes

&
Annals of Pure and Applied Logic 167 (9):794-805 (2016)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/j.apal.2016.04.010

Links

PhilArchive



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

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

Regular universes and formal spaces.Erik Palmgren - 2006 - Annals of Pure and Applied Logic 137 (1-3):299-316.
The topology of branching universes.Gordon McCabe - unknown
Universes in explicit mathematics.Gerhard Jäger, Reinhard Kahle & Thomas Studer - 2001 - Annals of Pure and Applied Logic 109 (3):141-162.
Philosophical Topology.Yi Jiang - 2008 - Proceedings of the Xxii World Congress of Philosophy 15:59-74.
The realization of infinitely many universes in cosmology.Rodney D. Holder - 2001 - Religious Studies 37 (3):343-350.
The strength of Martin-Löf type theory with a superuniverse. Part II.Michael Rathjen - 2001 - Archive for Mathematical Logic 40 (3):207-233.
The strength of Martin-Löf type theory with a superuniverse. Part I.Michael Rathjen - 2000 - Archive for Mathematical Logic 39 (1):1-39.
Phenomenology of the Spatiality: Topology.Stephan Günzel - unknown - Phainomena 70.
Other Universes - A Scientific Perspective.D. H. Mellor - unknown
Other universes : A scientific perspective.Martin Rees - 2003 - In Neil A. Manson (ed.), God and Design: The Teleological Argument and Modern Science. Routledge.
The independence of peano's fourth axiom from Martin-löf's type theory without universes.Jan M. Smith - 1988 - Journal of Symbolic Logic 53 (3):840-845.
Other Universes II.John G. Cramer - unknown
What should egalitarians believe if they really are egalitarian? A reply to Martin O’Neill.Alexander Brown - 2014 - European Journal of Political Theory 13 (4):453-469.
The Friedman‐Translation for Martin‐Löf's Type Theory.Erik Palmgren - 1995 - Mathematical Logic Quarterly 41 (3):314-326.
Finetuning, many worlds, and the 'inverse gambler's fallacy'.Cory Juhl - 2005 - Noûs 39 (2):337–347.

Analytics

Added to PP
2016-06-03

Downloads
18 (#814,090)

6 months
5 (#638,139)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

Metric spaces in synthetic topology.Andrej Bauer & Davorin Lešnik - 2012 - Annals of Pure and Applied Logic 163 (2):87-100.

Add more references