Decidability of Scott's Model as an Ordered $\mathbb{Q}$-Vectorspace

Journal of Symbolic Logic 62 (3):917-924 (1997)
  Copy   BIBTEX

Abstract

Let $L = \langle, +, h_q, 1\rangle_{q \in \mathbb{Q}}$ where $\mathbb{Q}$ is the set of rational numbers and $h_q$ is a one-place function symbol corresponding to multiplication by $q$. Then the $L$-theory of Scott's model for intuitionistic analysis is decidable.

Categories

Keywords

Reprint years

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,867

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

The additive groups of and with predicates for being square-free.Neer Bhardwaj & Chieu-Minh Tran - 2021 - Journal of Symbolic Logic 86 (4):1324-1349.
Implicit Definability of Subfields.Akito Tsuboi & Kenji Fukuzaki - 2003 - Notre Dame Journal of Formal Logic 44 (4):217-225.
More on d-Logics of Subspaces of the Rational Numbers.Guram Bezhanishvili & Joel Lucero-Bryan - 2012 - Notre Dame Journal of Formal Logic 53 (3):319-345.
Subspaces of $${\mathbb{Q}}$$ whose d-logics do not have the FMP.Guram Bezhanishvili & Joel Lucero-Bryan - 2012 - Archive for Mathematical Logic 51 (5-6):661-670.
A Topological Approach to Undefinability in Algebraic Extensions Of.Kirsten Eisenträger, Russell Miller, Caleb Springer & Linda Westrick - 2023 - Bulletin of Symbolic Logic 29 (4):626-655.
The ordered field of real numbers and logics with Malitz quantifiers.Andreas Rapp - 1985 - Journal of Symbolic Logic 50 (2):380-389.
Periods of Strebel Differentials and Algebraic Curves Defined over the Field of Algebraic Numbers.Mulase Motohico & Penkava Michael - unknown
On Decidable Extensions of Presburger Arithmetic: From A. Bertrand Numeration Systems to Pisot Numbers.Françoise Point - 2000 - Journal of Symbolic Logic 65 (3):1347-1374.
The Logic ILP for Intuitionistic Reasoning About Probability.Angelina Ilić-Stepić, Zoran Ognjanović & Aleksandar Perović - forthcoming - Studia Logica:1-31.
On Groups with Definable F_-Generics Definable in _P-Adically Closed Fields.Anand Pillay & Y. A. O. Ningyuan - 2023 - Journal of Symbolic Logic 88 (4):1334-1353.

Analytics

Added to PP
2009-01-28

Downloads
13 (#1,040,422)

6 months
8 (#506,113)

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

Foundations of Constructive Analysis.John Myhill - 1972 - Journal of Symbolic Logic 37 (4):744-747.
A new model for intuitionistic analysis.Philip Scowcroft - 1990 - Annals of Pure and Applied Logic 47 (2):145-165.
More on real algebra in scott's model.Philip Scowcroft - 1986 - Annals of Pure and Applied Logic 30 (3):277-291.
A transfer theorem in constructive real algebra.Philip Scowcroft - 1988 - Annals of Pure and Applied Logic 40 (1):29-87.

Add more references