scientific article; zbMATH DE number 4006271

zbMATH Open0621.03045MaRDI QIDQ3757918FDOQ3757918

Roman Murawski

Publication date: 1986

Title of this publication is not available (Why is that?)

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

zbMATH Keywords

Peano arithmeticdefinabilityelementary initial segmentsnonstandard countable model

Mathematics Subject Classification ID

Nonstandard models of arithmetic (03H15)

Cited In (8)

• Title not available (Why is that?)
• 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)