Decidability in the Constructive Theory of Reals as an Ordered ℚ‐vectorspace

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

Abstract

We show that various fragments of the intuitionistic/constructive theory of the reals are decidable

Categories

Keywords

Reprint years

DOI

10.1002/malq.19970430307

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,197

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

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.
Decidability and Specker sequences in intuitionistic mathematics.Mohammad Ardeshir & Rasoul Ramezanian - 2009 - Mathematical Logic Quarterly 55 (6):637-648.
Decidability and ℵ0-categoricity of theories of partially ordered sets.James H. Schmerl - 1980 - Journal of Symbolic Logic 45 (3):585 - 611.
More about relatively lawless sequences.Joan Rand Moschovakis - 1994 - Journal of Symbolic Logic 59 (3):813-829.
Comparing First Order Theories of Modules over Group Rings II: Decidability: Decidability.Carlo Toffalori & S. Cittadini - 2002 - Mathematical Logic Quarterly 48 (4):483-498.
On the decidability of implicational ticket entailment.Katalin Bimbó & J. Michael Dunn - 2013 - Journal of Symbolic Logic 78 (1):214-236.
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.
Decidability of ∀*∀‐Sentences in Membership Theories.Eugenio G. Omodeo, Franco Parlamento & Alberto Policriti - 1996 - Mathematical Logic Quarterly 42 (1):41-58.
A note on the decidability of de Finetti's coherence.Francesco Corielli - 1995 - Theory and Decision 38 (1):121-129.
Negationless intuitionism.Enrico Martino - 1998 - Journal of Philosophical Logic 27 (2):165-177.
Decidability and generalized quantifiers.Andreas Baudisch (ed.) - 1980 - Berlin: Akademie Verlag.
The Bernays—Schönfinkel—Ramsey class for set theory: decidability.Alberto Policriti & Eugenio Omodeo - 2012 - Journal of Symbolic Logic 77 (3):896-918.

Analytics

Added to PP
2013-12-01

Downloads
15 (#951,094)

6 months
1 (#1,477,342)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Citations of this work

Add more citations

References found in this work

Elements of Intuitionism.Michael Dummett - 1977 - New York: Oxford University Press. Edited by Roberto Minio.
Elements of Intuitionism.Michael Dummett - 1980 - British Journal for the Philosophy of Science 31 (3):299-301.
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.

View all 8 references / Add more references