A model of intuitionistic analysis in which ø-definable discrete sets are subcountable

Mathematical Logic Quarterly 62 (3):258-277 (2016)
  Copy   BIBTEX

Abstract

There is a model, for a system of intuitionistic analysis including Brouwer's principle for numbers and Kripke's schema, in which math formula ø-definable discrete sets of choice sequences are subcountable.

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,795

External links

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

Through your library

Similar books and articles

Analytics

Added to PP
2018-01-11

Downloads
27 (#834,437)

6 months
5 (#1,071,419)

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

An interpretation of intuitionistic analysis.D. van Dalen - 1978 - Annals of Mathematical Logic 13 (1):1.
A Topological Model for Intuitionistic Analysis with Kripke's Scheme.M. D. Krol - 1978 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 24 (25-30):427-436.
A Topological Model for Intuitionistic Analysis with Kripke's Scheme.M. D. Krol - 1978 - Mathematical Logic Quarterly 24 (25‐30):427-436.
A new model for intuitionistic analysis.Philip Scowcroft - 1990 - Annals of Pure and Applied Logic 47 (2):145-165.
Some purely topological models for intuitionistic analysis.Philip Scowcroft - 1999 - Annals of Pure and Applied Logic 98 (1-3):173-215.

View all 6 references / Add more references