A Non-Standard Model for a Free Variable Fragment of Number Theory

Journal of Symbolic Logic 30 (3):389-390 (1965)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2269666

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,322

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

Review: J. C. Shepherdson, A Non-Standard Model for a Free Variable Fragment of Number Theory. [REVIEW]R. L. Goodstein - 1965 - Journal of Symbolic Logic 30 (3):389-390.
Existence and reference in medieval logic.Gyula Klima - manuscript
Undecidability of first-order intuitionistic and modal logics with two variables.Roman Kontchakov, Agi Kurucz & Michael Zakharyaschev - 2005 - Bulletin of Symbolic Logic 11 (3):428-438.
A Classical and Quantum Relativistic Interacting Variable-Mass Model.D. C. Salisbury - 1998 - Foundations of Physics 28 (9):1433-1442.
First-Order Tableaux with Sorts.Christoph Weidenbach - 1995 - Logic Journal of the IGPL 3 (6):887-906.
Parameter-free polymorphic types.Klaus Aehlig - 2008 - Annals of Pure and Applied Logic 156 (1):3-12.
Decidable fragments of first-order temporal logics.Ian Hodkinson, Frank Wolter & Michael Zakharyaschev - 2000 - Annals of Pure and Applied Logic 106 (1-3):85-134.
On Provability Logics with Linearly Ordered Modalities.Lev D. Beklemishev, David Fernández-Duque & Joost J. Joosten - 2014 - Studia Logica 102 (3):541-566.
The abstract variable-binding calculus.Don Pigozzi & Antonino Salibra - 1995 - Studia Logica 55 (1):129 - 179.
A Finite Fragment Of S3.Tomasz Kowalski & John Slaney - 2008 - Reports on Mathematical Logic.
Model theory and validity.Yannis Stephanou - 2000 - Synthese 123 (2):165-193.
Towards a variable-free semantics.Pauline Jacobson - 1999 - Linguistics and Philosophy 22 (2):117-185.
Complexity of the two-variable fragment with counting quantifiers.Ian Pratt-Hartmann - 2005 - Journal of Logic, Language and Information 14 (3):369-395.
Kinetics of circular DNA molecule digestion by restriction endonuclease computation of kinetic constants from time dependence of fragment concentrations.Petr Karlovský - 1986 - Acta Biotheoretica 35 (4):279-292.
Arithmetical set theory.Paul Strauss - 1991 - Studia Logica 50 (2):343 - 350.

Analytics

Added to PP
2015-02-05

Downloads
66 (#240,625)

6 months
4 (#818,853)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Primes and their residue rings in models of open induction.Angus Macintyre & David Marker - 1989 - Annals of Pure and Applied Logic 43 (1):57-77.
Pell equations and exponentiation in fragments of arithmetic.Paola D'Aquino - 1996 - Annals of Pure and Applied Logic 77 (1):1-34.
Open induction in a bounded arithmetic for TC0.Emil Jeřábek - 2015 - Archive for Mathematical Logic 54 (3-4):359-394.
Bootstrapping, part I.Sedki Boughattas & J. -P. Ressayre - 2010 - Annals of Pure and Applied Logic 161 (4):511-533.

View all 15 citations / Add more citations

References found in this work

No references found.

Add more references