Indicators, recursive saturation and expandability

DOI10.4064/FM-114-2-127-139zbMATH Open0488.03038OpenAlexW951942238MaRDI QIDQ3949050FDOQ3949050

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)