A certain class of models of Peano arithmetic

DOI10.2307/2273548MaRDI QIDQ3659779zbMATH OpenOpenAlexFDO

Authors Roman Kossak

Publication date 1983

Published in Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.2307/2273548

zbMATH Keywords

models of arithmeticrecursive saturationsatisfaction classes

Mathematics Subject Classification ID

Models of arithmetic and set theory (03C62) First-order arithmetic and fragments (03F30)

Cites work

• Logic year 1979--80, The University of Connecticut, USA
• Recursively saturated nonstandard models of arithmetic

Cited in

(6)

• Four problems concerning recursively saturated models of arithmetic
• A Galois correspondence for countable short recursively saturated models of PA
• On Extensions of Models of Strong Fragments of Arithmetic
• Neutrally expandable models of arithmetic
• Undefinability of truth and nonstandard models
• Indiscernibles and satisfaction classes in arithmetic

This page was built for publication: A certain class of models of Peano arithmetic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3659779)