scientific article; zbMATH DE number 4006271

MaRDI QIDQ3757918zbMATH OpenFDO

Authors Roman Murawski

Publication date 1986

zbMATH Keywords

Peano arithmeticdefinabilityelementary initial segmentsnonstandard countable model

Mathematics Subject Classification ID

Nonstandard models of arithmetic (03H15)

Recommendations

• Pointwise definable substructures of models of Peano arithmetic
• Nonstandard models that are definable in models of Peano Arithmetic
• Submodels and definable points in models of Peano arithmetic
• Some remarks on initial segments in models of Peano arithmetic
• Definable sets and expansions of models of Peano arithmetic

Cited in

(8)

• scientific article; zbMATH DE number 4012612 (Why is no real title available?)
• Some remarks on initial segments in models of Peano arithmetic
• Definability of initial segments
• Strong initial segments of models of IΔ₀
• Nonstandard definability
• Nonstandard models that are definable in models of Peano Arithmetic
• Definable sets and expansions of models of Peano arithmetic
• Pointwise definable substructures of models of Peano arithmetic

This page was built for publication:

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