Models and types of Peano's arithmetic

Annals of Mathematical Logic 9 (3):223-306 (1976)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/0003-4843(76)90002-4

Other Versions

edition Gaifman, Haim; Knight, Julia F.; Abramson, Fred G.; Harrington, Leo A. (1983) "Models and Types of Peano's Arithmetic". Journal of Symbolic Logic 48(2):484-485

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 107,191

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

Haim Gaifman. Models and types of Peano's arithmetic. Annals of mathematical logic, vol. 9, pp. 223–306. - Julia F. Knight. Omitting types in set theory and arithmetic. The journal of symbolic logic, vol. 41 , pp. 25–32. - Julia F. Knight. Hanf numbers for omitting types over particular theories. The journal of symbolic logic, vol. 41 , pp. 583–588. - Fred G. Abramson and Leo A. Harrington. Models without indiscernibles. The journal of symbolic logic, vol. 41 , vol. 43 , pp. 572–600. [REVIEW]J. P. Ressayre - 1983 - Journal of Symbolic Logic 48 (2):484-485.
Andrew Adler. Extensions of non-standard models of number theory. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 15 , pp. 289–290. - Haim Gaifman. A note on models and submodels of arithmetic. Conference in mathematical logic—London '70, edited by Wilfrid Hodges, Lecture notes in mathematics, no. 255, Springer-Verlag, Berlin, Heidelberg, and New York, 1972, pp. 128–144. [REVIEW]C. Smorynski - 1975 - Journal of Symbolic Logic 40 (2):244-245.
Extending models of arithmetic.James H. Schmerl - 1978 - Annals of Mathematical Logic 14 (2):89.
Substructure lattices of models of arithmetic.George Mills - 1979 - Annals of Mathematical Logic 16 (2):145.
Skolem Th.. Peano's axioms and models of arithmetic. Mathematical Interpretation of formal systems, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam 1955, pp. 1–14. [REVIEW]Solomon Feferman - 1957 - Journal of Symbolic Logic 22 (3):306-306.
Ultrafilters and types on models of arithmetic.L. A. S. Kirby - 1984 - Annals of Pure and Applied Logic 27 (3):215-252.
On models of arithmetic—Answers to two problems raised by H. Gaifman.Alex Wilkie - 1975 - Journal of Symbolic Logic 40 (1):41-47.
Maximum Schemes in Arithmetic.A. Fernández-Margarit & M. J. Pérez-Jiménez - 1994 - Mathematical Logic Quarterly 40 (3):425-430.
Haim Gaifman. Pointers to truth. The journal of philosophy, vol. 89 , pp. 223–261.Andre Chapuis - 1993 - Journal of Symbolic Logic 58 (4):1462-1463.
Peano arithmetic as axiomatization of the time frame in logics of programs and in dynamic logics.Balázs Biró & Ildikó Sain - 1993 - Annals of Pure and Applied Logic 63 (3):201-225.

Analytics

Added to PP
2014-01-17

Downloads
63 (#383,482)

6 months
11 (#406,166)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Haim Gaifman
Columbia University

Citations of this work

Recursively saturated nonstandard models of arithmetic.C. Smoryński - 1981 - Journal of Symbolic Logic 46 (2):259-286.
Fixed points of self-embeddings of models of arithmetic.Saeideh Bahrami & Ali Enayat - 2018 - Annals of Pure and Applied Logic 169 (6):487-513.
Rank-initial embeddings of non-standard models of set theory.Paul Kindvall Gorbow - 2020 - Archive for Mathematical Logic 59 (5-6):517-563.

View all 44 citations / Add more citations

References found in this work

Add more references