scientific article; zbMATH DE number 32280

MaRDI QIDQ3988261zbMATH OpenFDO

Authors Paola D'Aquino

Publication date 28 June 1992

zbMATH Keywords

classification of isomorphism typesexpandability of modelsideals of Turing degreesmodels of arithmeticPeano arithmeticPresburger arithmeticrecursively saturated modelssatisfaction classesScott setssurvey

Mathematics Subject Classification ID

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

Recommendations

• Degrees of Recursively Saturated Models
• scientific article; zbMATH DE number 1222926
• Automorphisms of countable recursively saturated models of PA: A survey
• A note on the variety of satisfaction classes
• ω₁-like recursively saturated models of Presburger's arithmetic

Cited in

(28)

• On the number of strongly \(\aleph _{\epsilon}\)-saturated models of power \(\lambda\)
• Constructive ultraproducts and isomorphisms of recursively saturated ultrapowers
• Transplendent models: expansions omitting a type
• Four problems concerning recursively saturated models of arithmetic
• Tennenbaum's theorem and recursive reducts
• The complexity of classification problems for models of arithmetic
• Degrees of Recursively Saturated Models
• Additive structure in uncountable models for a fixed completion of P
• A Galois correspondence for countable short recursively saturated models of PA
• The Recursively Saturated Part of Models of Peano Arithmetic
• ω₁-like recursively saturated models of Presburger's arithmetic
• scientific article; zbMATH DE number 4027446 (Why is no real title available?)
• Nonstandard characterizations of recursive saturation and resplendency
• scientific article; zbMATH DE number 4112569 (Why is no real title available?)
• A Note on Real Subsets of A Recursively Saturated Model
• Some Properties of the Family of Expansions to Models of A/Δ + Σ‐AC
• scientific article; zbMATH DE number 1222926 (Why is no real title available?)
• scientific article; zbMATH DE number 663792 (Why is no real title available?)
• Bounded Scott Set Saturation
• scientific article; zbMATH DE number 2144534 (Why is no real title available?)
• scientific article; zbMATH DE number 1415871 (Why is no real title available?)
• A generalization of the Keisler‐Morley theorem to recursively saturated ordered structures
• Existence of saturated structures
• scientific article; zbMATH DE number 5033824 (Why is no real title available?)
• scientific article; zbMATH DE number 2236641 (Why is no real title available?)
• On M-recursively saturated models of arithmetic
• Recursively saturated \(\omega _ 1\)-like models of arithmetic
• Complexity ranks of countable models

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 Q3988261)