- New
-
Topics
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- Journals
- Submit material
- More
Some elementary results in intutionistic model theory
Journal of Symbolic Logic 61 (3):745-767 (1996)
Abstract
We establish constructive refinements of several well-known theorems in elementary model theory. The additive group of the real numbers may be embedded elementarily into the additive group of pairs of real numbers, constructively as well as classicallyAuthor's Profile
Other Versions
No versions found
Links
PhilArchive
External links
(no proxy)
Setup an account with your affiliations in order to access resources via your University's proxy server
Through your library
- Sign in / register and customize your OpenURL resolver
- Configure custom resolver
My notes
Similar books and articles
On the ordered Dedekind real numbers in toposes.Marcelo E. Coniglio & Luís A. Sbardellini - 2015 - In Edward H. Haeusler, Wagner Sanz & Bruno Lopes (eds.), Why is this a Proof? Festschrift for Luiz Carlos Pereira. College Publications. pp. 87-105.
On o-minimal expansions of archimedean ordered groups.Michael C. Laskowski & Charles Steinhorn - 1995 - Journal of Symbolic Logic 60 (3):817-831.
Expansions of the ordered additive group of real numbers by two discrete subgroups.Philipp Hieronymi - 2016 - Journal of Symbolic Logic 81 (3):1007-1027.
Models of VTC0$\mathsf {VTC^0}$ as exponential integer parts.Emil Jeřábek - 2023 - Mathematical Logic Quarterly 69 (2):244-260.
Some model theory for almost real closed fields.Francoise Delon & Rafel Farre - 1996 - Journal of Symbolic Logic 61 (4):1121-1152.
T-convexity and Tame extensions.LouDen Dries & Adam H. Lewenberg - 1995 - Journal of Symbolic Logic 60 (1):74 - 102.
Transfer Principle in Quantum Set Theory.Masanao Ozawa - 2007 - Journal of Symbolic Logic 72 (2):625 - 648.
Modal and guarded characterisation theorems over finite transition systems.Martin Otto - 2004 - Annals of Pure and Applied Logic 130 (1-3):173-205.
The Elementary Theory of Interval Real Numbers.Stephen D. Comer - 1985 - Mathematical Logic Quarterly 31 (1‐6):89-95.
An Intuitionistic Axiomatisation of Real Closed Fields.Erik Palmgren - 2002 - Mathematical Logic Quarterly 48 (2):297-299.
Analytics
Added to PP
2009-01-28
Downloads
66 (#319,882)
6 months
21 (#140,335)
2009-01-28
Downloads
66 (#319,882)
6 months
21 (#140,335)
Historical graph of downloads
Author's Profile
Citations of this work
Reverse Mathematics of Topology: Dimension, Paracompactness, and Splittings.Sam Sanders - 2020 - Notre Dame Journal of Formal Logic 61 (4):537-559.
References found in this work
Some observations on intuitionistically elementary properties of linear orderings.Wim Veldman & Michaël Janssen - 1990 - Archive for Mathematical Logic 29 (3):171-185.
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation
Server: philpapers-web-559df78dcc-q5wnn uwo