Formal Baire Space in Constructive Set Theory

&
In Ulrich Berger, Hannes Diener, Peter Schuster & Monika Seisenberger (eds.), Logic, Construction, Computation. De Gruyter. pp. 123-136 (2012)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Add categories

Keywords

Reprint years

DOI

10.1515/9783110324921.123

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,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

Aspects of general topology in constructive set theory.Peter Aczel - 2006 - Annals of Pure and Applied Logic 137 (1-3):3-29.
Aspects of general topology in constructive set theory.Peter Azcel - 2006 - Annals of Pure and Applied Logic 137 (1-3):3-29.
Functional Interpretations of Classical and Constructive Set Theory.Justus Diller - 2012 - In Ulrich Berger, Hannes Diener, Peter Schuster & Monika Seisenberger (eds.), Logic, Construction, Computation. De Gruyter. pp. 137-156.
Conservativity of transitive closure over weak constructive operational set theory.Andrea Cantini & Laura Crosilla - 2012 - In Ulrich Berger, Hannes Diener, Peter Schuster & Monika Seisenberger (eds.), Logic, Construction, Computation. De Gruyter. pp. 91-122.
On the T 1 axiom and other separation properties in constructive point-free and point-set topology.Peter Aczel & Giovanni Curi - 2010 - Annals of Pure and Applied Logic 161 (4):560-569.
On Borel equivalence relations in generalized Baire space.Sy-David Friedman & Tapani Hyttinen - 2012 - Archive for Mathematical Logic 51 (3-4):299-304.
The continuum as a formal space.Sara Negri & Daniele Soravia - 1999 - Archive for Mathematical Logic 38 (7):423-447.
The axiom of multiple choice and models for constructive set theory.Benno van den Berg & Ieke Moerdijk - 2014 - Journal of Mathematical Logic 14 (1):1450005.
Formally continuous functions on Baire space.Tatsuji Kawai - 2018 - Mathematical Logic Quarterly 64 (3):192-200.
Decomposing functions of baire class on polish spaces.Longyun Ding, Takayuki Kihara, Brian Semmes & Jiafei Zhao - 2020 - Journal of Symbolic Logic 85 (3):960-971.

Analytics

Added to PP
2023-06-09

Downloads
8 (#1,583,782)

6 months
4 (#1,258,347)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Michael Rathjen
University of Leeds

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references