Regular universes and formal spaces

Annals of Pure and Applied Logic 137 (1-3):299-316 (2006)
  Copy   BIBTEX

Abstract

We present an alternative solution to the problem of inductive generation of covers in formal topology by using a restricted form of type universes. These universes are at the same time constructive analogues of regular cardinals and sets of infinitary formulae. The technique of regular universes is also used to construct canonical positivity predicates for inductively generated covers

Categories

Keywords

Reprint years

DOI

10.1016/j.apal.2005.05.025

Links

PhilArchive



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

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

Situations Probabilistes Pour N-Univers Goodmaniens.Paul Franceschi - 2006 - Journal of Philosophical Research 31:123-141.
Pitts' Quantifiers Are Not Topological Quantification.Tomasz Połacik - 1998 - Notre Dame Journal of Formal Logic 39 (4):531-544.
Monads for regular and normal spaces.Robert Warren Button - 1976 - Notre Dame Journal of Formal Logic 17 (3):449-456.
Maximal and partial points in formal spaces.Erik Palmgren - 2006 - Annals of Pure and Applied Logic 137 (1-3):291-298.
Formal spaces and their effective presentations.Inger Sigstam - 1995 - Archive for Mathematical Logic 34 (4):211-246.
Formal continuity implies uniform continuity near compact images on metric spaces.Erik Palmgren - 2014 - Mathematical Logic Quarterly 60 (1-2):66-69.
Resolution of the uniform lower bound problem in constructive analysis.Erik Palmgren - 2008 - Mathematical Logic Quarterly 54 (1):65-69.
Decomposable Ultrafilters and Possible Cofinalities.Paolo Lipparini - 2008 - Notre Dame Journal of Formal Logic 49 (3):307-312.
The realization of infinitely many universes in cosmology.Rodney D. Holder - 2001 - Religious Studies 37 (3):343-350.
Cellular spaces.Wolfgang Merzenich - 1980 - Theoretical Medicine and Bioethics 1 (1):51-65.
Compact representations of BL-algebras.Antonio Di Nola & Laurentiu Leustean - 2003 - Archive for Mathematical Logic 42 (8):737-761.
Mach-Einstein spaces and expanding and rotating universes.Hans-Jürgen Treder - 2000 - In M. Scherfner, T. Chrobok & M. Shefaat (eds.), Colloquium on Cosmic Rotation. Wissenschaft Und Technik Verlag. pp. 1--191.
Other Universes - A Scientific Perspective.D. H. Mellor - unknown
Regular search spaces.Alberto Momigliano & Mario Ornaghi - unknown
Other Universes II.John G. Cramer - unknown

Analytics

Added to PP
2013-12-31

Downloads
12 (#1,025,624)

6 months
3 (#902,269)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Quotient topologies in constructive set theory and type theory.Hajime Ishihara & Erik Palmgren - 2006 - Annals of Pure and Applied Logic 141 (1):257-265.
The associated sheaf functor theorem in algebraic set theory.Nicola Gambino - 2008 - Annals of Pure and Applied Logic 156 (1):68-77.

Add more citations

References found in this work

Inductively generated formal topologies.Thierry Coquand, Giovanni Sambin, Jan Smith & Silvio Valentini - 2003 - Annals of Pure and Applied Logic 124 (1-3):71-106.
Heyting-valued interpretations for constructive set theory.Nicola Gambino - 2006 - Annals of Pure and Applied Logic 137 (1-3):164-188.

View all 6 references / Add more references