SU\G(𝔸)/K·U

On Local Arithmetical Functions and Their Application For Constructing Types of Peano's Arithmetic

Haim Gaifman

Type: Book-Chapter

Publication Date: 1970-01-01

Citations: 12

DOI: https://doi.org/10.1016/s0049-237x(08)71933-5

Locations

  • Studies in logic and the foundations of mathematics - View

Similar Works

Action Title Year Authors
+ Models and types of Peano's arithmetic 1976 Haim Gaifman
+ Model-Theoretic Properties Characterizing Peano Arithmetic 1991 Richard Kaye
+ A representation of models of Peano arithmetic 1973 Josef MlÄŤek
+ Models of Peano Arithmetic 1981 Anand Pillay
+ Models of Peano Arithmetic 2020 Lorenz Halbeisen
Regula Krapf
+ A standard model of Peano arithmetic with no conservative elementary extension 2008 Ali Enayat
+ Countable Models of Peano Arithmetic 2020 Lorenz Halbeisen
Regula Krapf
+ Introduction to Cardinal Arithmetic 1999 M. Holz
K. Steffens
Eric Weitz
+ Cardinal Arithmetic: From Silver’s Theorem to Shelah’s PCF Theory 2020 Curial Gallart Rodríguez
+ Models of arithmetic 2000
+ Peano Arithmetic and Recursive Functions 2024 Serafim Batzoglou
+ A Finitary Model of Peano Arithmetic. 2008 Bhupinder Singh Anand
+ PDF Chat Introduction to Cardinal Arithmetic 2002 Maxim R. Burke
M. Holz
K. Steffens
E. Weitz
+ Peano Basso and Peano Corto 2012 Albert Visser
+ Peano Arithmetic 2014
+ Peano Arithmetic 1998 Peter Fletcher
+ Review: Th. Skolem, Peano's Axioms and Models of Arithmetic 1957 Solomon Feferman
+ A note on models and submodels of arithmetic 1972 Haim Gaifman
+ Arithmetic 2004 Michael Potter
+ Peano arithmetic 1994 George Boolos

Works That Cite This (11)

Action Title Year Authors
+ Minimal elementary end extensions 2015 James H. Schmerl
+ Omitting types in arithmetic and conservative extensions 1974 R. Phillips
+ Initial segments and end-extensions of models of arithmetic 2010 Tin Lok Wong
+ Substructure lattices of models of arithmetic 1979 George Mills
+ Extending models of arithmetic 1978 James H. Schmerl
+ Models and types of Peano's arithmetic 1976 Haim Gaifman
+ Cofinal Extensions and Coded Sets 2017 James H. Schmerl
+ On expandability of models of Peano arithmetic. II 1976 Roman Murawski
+ On expandability of models of Peano arithmetic. III 1977 Roman Murawski
+ Subsets coded in elementary end extensions 2014 James H. Schmerl

Works Cited by This (0)

Action Title Year Authors