Indicators, recursive saturation and expandability

DOI10.4064/FM-114-2-127-139MaRDI QIDQ3949050zbMATH OpenOpenAlexFDO

Authors Laurence Kirby, Kenneth McAloon, 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

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

Cited in

(4)

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

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

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