Some elementary results in intutionistic model theory

Journal of Symbolic Logic 61 (3):745-767 (1996)
  Copy   BIBTEX

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 classically

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 90,593

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

A model of peano arithmetic with no elementary end extension.George Mills - 1978 - Journal of Symbolic Logic 43 (3):563-567.
T-convexity and Tame extensions.LouDen Dries & Adam H. Lewenberg - 1995 - Journal of Symbolic Logic 60 (1):74 - 102.
Une correspondance entre anneaux partiels et groupes.Patrick Simonetta - 1997 - Journal of Symbolic Logic 62 (1):60-78.
Number theory and elementary arithmetic.Jeremy Avigad - 2003 - Philosophia Mathematica 11 (3):257-284.
Handbook of computability theory.Edward R. Griffor (ed.) - 1999 - New York: Elsevier.
Blunt and topless end extensions of models of set theory.Matt Kaufmann - 1983 - Journal of Symbolic Logic 48 (4):1053-1073.
Elementary extensions of countable models of set theory.John E. Hutchinson - 1976 - Journal of Symbolic Logic 41 (1):139-145.
Some model theory for almost real closed fields.Françoise Delon & Rafel Farré - 1996 - Journal of Symbolic Logic 61 (4):1121-1152.

Analytics

Added to PP
2009-01-28

Downloads
21 (#630,965)

6 months
4 (#319,344)

Historical graph of downloads
How can I increase my 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.

Add more citations

References found in this work

Intuitionism. An Introduction.Sigekatu Kuroda - 1956 - Journal of Symbolic Logic 21 (4):367-371.

Add more references