SU\G(𝔸)/K·U

Addition in nonstandard models of arithmetic

R. Phillips

Type: Article

Publication Date: 1972-09-01

Citations: 2

DOI: https://doi.org/10.2307/2272732

Locations

  • Journal of Symbolic Logic - View

Similar Works

Action Title Year Authors
+ PDF Chat On the Structure of Nonstandard Models of Arithmetic 1971 R. G. Phillips
+ PDF Chat On the structure of nonstandard models of arithmetic 1971 R. Phillips
+ Nonstandard Models and Related Developments 1985 C. Smoryński
+ Nonstandard Models of Arithmetic and Set Theory 2004 Ali Enayat
Roman Kossak
+ Nonstandard Models 2007 John P. Burgess
+ Nonstandard natural number systems and nonstandard models 1981 Shizuo Kamo
+ Inconsistent nonstandard arithmetic 1987 Chris Mortensen
+ Lectures on Nonstandard Models of Arithmetic 1984 C. Smoryński
+ Nonstandard Models of Peano Arithmetic 1982 Simon Kochen
Saul A. Kripke
+ PDF Chat Alien Intruders in Relevant Arithmetic 2021 Robert K. Meyer
Chris Mortensen
+ On Some Uses of Nonstandard Models 2007 Roman Kossak
+ Diophantine Equations and Non-Standard Models of Arithmetic 1966 Michaelo. Rabin
+ Ideals of integers in nonstandard number fields 1975 Gregory Cherlin
+ A note on $\mathbb{Z}$ as a direct summand of nonstandard models of weak systems of arithmetic 2016 Merlin Carl
+ Working with nonstandard models 2004 Harvey M. Friedman
+ NONSTANDARD MODELS IN RECURSION THEORY AND REVERSE MATHEMATICS 2014 C. T. Chong
Wei Li
Yue Yang
+ Arithmetical Identities in a 2-element Model of Tarski's System 2002 Gurgen Asatryan
+ Extensions of non‐standard models of number theory 1969 Andrew Adler
+ Andrew Adler. Extensions of non-standard models of number theory. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 15 (1969), 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. 1975 C. Smoryński
+ PDF Chat Tennenbaum's theorem for models of arithmetic 2011 Richard Kaye

Works That Cite This (2)

Action Title Year Authors
+ On a Question of Phillips 1997 Çiğdem Gencer
Mehmet Terziler
+ On the Additive Group Structure of the Nonstandard Models of the Theory of Integers 2002 Hasan Dalgin
Labib Haddad
Mehmet Terziler

Works Cited by This (5)

Action Title Year Authors
+ Infinite Abelian groups 1954 Irving Kaplansky
+ Undecidable problems of elementary number theory 1958 John G. Kemeny
+ Note on a paper of Kemeny's 1958 R. O. Gandy
+ PDF Chat On the structure of nonstandard models of arithmetic 1971 R. Phillips
+ STUDIES IN LOGIC AND THE FOUNDATIONS OF MATHEMATICS 2014