Indicators, recursive saturation and expandability

DOI10.4064/fm-114-2-127-139zbMath0488.03038OpenAlexW951942238MaRDI QIDQ3949050

Kenneth McAloon, Laurence Kirby, Roman Murawski

Publication date: 1981

Published in: Fundamenta Mathematicae (Search for Journal in Brave)

Full work available at URL: https://eudml.org/doc/211291

zbMATH Keywords

nonstandard satisfaction classesinitial segments of countable nonstandard models of Peano arithmetic

Mathematics Subject Classification ID

Nonstandard models of arithmetic (03H15) Model theory of denumerable and separable structures (03C15)

Related Items (4)

Definable sets and expansions of models of Peano arithmetic ⋮ Degrees of Recursively Saturated Models ⋮ Subsets of models of arithmetic ⋮ Cardinality without enumeration

This page was built for publication: Indicators, recursive saturation and expandability