On expandability of models of arithmetic and set theory to models of weak second-order theories
Matt Kaufmann (1984)
Fundamenta Mathematicae
Similarity:
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
Displaying similar documents to “More on locally atomic models”
On expandability of models of arithmetic and set theory to models of weak second-order theories
Stable sets, a characterization of -models of full second order arithmetic and some related facts
W. Marek (1974)
Fundamenta Mathematicae
Similarity:
The enriched stable core and the relative rigidity of HOD
Sy-David Friedman (2016)
Fundamenta Mathematicae
Similarity:
In the author's 2012 paper, the V-definable Stable Core 𝕊 = (L[S],S) was introduced. It was shown that V is generic over 𝕊 (for 𝕊-definable dense classes), each V-definable club contains an 𝕊-definable club, and the same holds with 𝕊 replaced by (HOD,S), where HOD denotes Gödel's inner model of hereditarily ordinal-definable sets. In the present article we extend this to models of class theory by introducing the V-definable Enriched Stable Core 𝕊* = (L[S*],S*). As an application...
Conservative extensions and the two cardinal theorem for stable theories
John Baldwin (1975)
Fundamenta Mathematicae
Similarity:
Well-definable types over subsets
Anand Pillay (1980-1982)
Groupe d'étude de théories stables
Similarity:
Decompositions of saturated models of stable theories
M. C. Laskowski, S. Shelah (2006)
Fundamenta Mathematicae
Similarity:
We characterize the stable theories T for which the saturated models of T admit decompositions. In particular, we show that countable, shallow, stable theories with NDOP have this property.
A note on local homogeneity and stability
Bernard Madison (1970)
Fundamenta Mathematicae
Similarity:
On some conjectures connected with complete sentences
J. Makowsky (1974)
Fundamenta Mathematicae
Similarity:
On the number of countable models of stable theories
Predrag Tanović (2001)
Fundamenta Mathematicae
Similarity:
We prove: Theorem. If T is a countable, complete, stable, first-order theory having an infinite set of constants with different interpretations, then I(T,ℵ₀) ≥ ℵ₀.
[unknown]
Roman Kossak (1984)
Fundamenta Mathematicae
Similarity:
On stability and products
J. Wierzejewski (1976)
Fundamenta Mathematicae
Similarity:
Cylinder problem
K. Ciesielski, F. Galvin (1987)
Fundamenta Mathematicae
Similarity: