Pages that link to "Item:Q1102945"

The following pages link to Definable sets and expansions of models of Peano arithmetic (Q1102945):

Displaying 19 items.

• Submodels and definable points in models of Peano arithmetic (Q797573) (← links)
• Pointwise definable substructures of models of Peano arithmetic (Q1113901) (← links)
• On expandability of models of Peano arithmetic. III (Q1238808) (← links)
• A note on the variety of satisfaction classes (Q2639847) (← links)
• Definable sets of real numbers, infinite games and core model theory (Q2784781) (← links)
• TRACE EXPANSIONS OF INITIAL SEGMENTS (Q3320379) (← links)
• On expandability of models of arithmetic and set theory to models of weak second-order theories (Q3344187) (← links)
• Nonstandard models that are definable in models of Peano Arithmetic (Q3423147) (← links)
• Undefinable Classes and Definable Elements in Models of Set Theory and Arithmetic (Q3807185) (← links)
• Extendible Sets in Peano Arithmetic (Q3832550) (← links)
• Model-theoretic properties characterizing Peano arithmetic (Q3985092) (← links)
• Some Properties of the Family of Expansions to Models of A/Δ + Σ‐AC (Q3989276) (← links)
• ITERATIONS OF SATISFACTION CLASSES AND MODELS OF PEANO ARITHMETIC (Q4295209) (← links)
• ENAYAT MODELS OF PEANO ARITHMETIC (Q4647109) (← links)
• TOWARDS A THEORY OF DEFINABLE SETS (Q5122018) (← links)
• The Barwise-Schlipf theorem (Q5146566) (← links)
• Strong initial segments of models of IΔ₀ (Q5295064) (← links)
• Cofinal elementary extensions (Q5404159) (← links)
• (Q5458154) (← links)