Definable sets and expansions of models of Peano arithmetic

DOI10.1007/BF01625830zbMATH Open0645.03031OpenAlexW2059930981MaRDI QIDQ1102945FDOQ1102945

Authors: Roman Murawski 

Publication date: 1988

Published in: Archive for Mathematical Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf01625830

Recommendations

• Appendix to the paper ``Definable sets and expansions of models of Peano arithmetic
• On expandability of models of Peano arithmetic to models of the alternative set theory
• scientific article; zbMATH DE number 4006271
• 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
• Model-theoretic properties characterizing Peano arithmetic
• On expandability of models of Peano arithmetic. III
• Pointwise definable models of set theory
• scientific article; zbMATH DE number 3875242

zbMATH Keywords

Peano arithmeticnonstandard modelcountable modelssatisfaction classesrecursively saturated modelexpandabilitynonstandard definability

Mathematics Subject Classification ID

Models of arithmetic and set theory (03C62) Nonstandard models of arithmetic (03H15)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• On elementary cuts in recursively saturated models of Peano Arithmetic
• Toward model theory through recursive saturation
• Pointwise definable substructures of models of Peano arithmetic
• Indicators, recursive saturation and expandability
• On expandability of models of Peano arithmetic. I
• Title not available (Why is that?)
• Mutually generic classes and incompatible expansions
• Some Remarks on the Structure of Expansions
• Second order arithmetic and related topics
• Title not available (Why is that?)

Cited In (21)

• On expandability of models of arithmetic and set theory to models of weak second-order theories
• Title not available (Why is that?)
• The Barwise-Schlipf theorem
• Cofinal elementary extensions
• On expandability of models of Peano arithmetic. III
• Definable sets of real numbers, infinite games and core model theory
• Model-theoretic properties characterizing Peano arithmetic
• Extendible Sets in Peano Arithmetic
• ITERATIONS OF SATISFACTION CLASSES AND MODELS OF PEANO ARITHMETIC
• TOWARDS A THEORY OF DEFINABLE SETS
• A note on the variety of satisfaction classes
• Strong initial segments of models of IΔ₀
• Undefinable Classes and Definable Elements in Models of Set Theory and Arithmetic
• Title not available (Why is that?)
• TRACE EXPANSIONS OF INITIAL SEGMENTS
• Nonstandard models that are definable in models of Peano Arithmetic
• Submodels and definable points in models of Peano arithmetic
• Some Properties of the Family of Expansions to Models of A/Δ + Σ‐AC
• Pointwise definable substructures of models of Peano arithmetic
• Title not available (Why is that?)
• Title not available (Why is that?)

This page was built for publication: Definable sets and expansions of models of Peano arithmetic

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