Mathematical Logic Quarterly 43 (3):343-354 (1997)

Authors
Abstract
We show that various fragments of the intuitionistic/constructive theory of the reals are decidable
Keywords ℚ‐vectorspace  Constructivism  Decidability  Intuitionism  Lawless sequences
Categories (categorize this paper)
DOI 10.1002/malq.19970430307
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 53,586
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

Elements of Intuitionism.Michael Dummett - 1977 - Oxford University Press.
Foundations of Constructive Analysis.John Myhill - 1972 - Journal of Symbolic Logic 37 (4):744-747.
Elements of Intuitionism.Nicolas D. Goodman - 1979 - Journal of Symbolic Logic 44 (2):276-277.
Mathematical Intuitionism. Introduction to Proof Theory.A. G. Dragalin & E. Mendelson - 1990 - Journal of Symbolic Logic 55 (3):1308-1309.

View all 6 references / Add more references

Citations of this work BETA

Add more citations

Similar books and articles

Relative Lawlessness in Intuitionistic Analysis.Joan Rand Moschovakis - 1987 - Journal of Symbolic Logic 52 (1):68-88.
On the Cauchy Completeness of the Constructive Cauchy Reals.Robert S. Lubarsky - 2007 - Mathematical Logic Quarterly 53 (4‐5):396-414.
More About Relatively Lawless Sequences.Joan Rand Moschovakis - 1994 - Journal of Symbolic Logic 59 (3):813-829.
Projections of Lawless Sequences.D. Van Dalen & A. S. Troelstra - 1970 - In A. Kino, John Myhill & Richard Eugene Vesley (eds.), Intuitionism and Proof Theory. Amsterdam: North-Holland Pub. Co..
On the Constructive Dedekind Reals.Robert S. Lubarsky & Michael Rathjen - 2008 - Logic and Analysis 1 (2):131-152.
Negationless Intuitionism.Enrico Martino - 1998 - Journal of Philosophical Logic 27 (2):165-177.

Analytics

Added to PP index
2013-12-01

Total views
9 ( #863,857 of 2,348,644 )

Recent downloads (6 months)
1 ( #512,546 of 2,348,644 )

How can I increase my downloads?

Downloads

My notes