AbstractAssume Q is a definable subset of a model of T. We define a notion of Q-isolated type, generalizing an earlier definition for countable Q. This notion is absolute. For superstable T, we give some sufficient conditions for the existence of Q-atomic models. We apply this to prove some results on weak categoricity over a predicate
AbstractThe notion of a strongly determined type over A extending p is introduced, where p .∈ S(A). ...
AbstractWe show how to build various models of first-order theories, which also have properties like...
AbstractA first order theory T of power λ is called unidimensional if any twoλ+-saturated models of ...
In the early days of the development of model theory it was considered natural and was certainly ben...
AbstractWe introduce notions of strong and eventual strong non-isolation for types in countable, sta...
AbstractLet T be a complete, countable, first-order theory having infinite models. We introduce type...
Thesis (Ph. D.)--Massachusetts Institute of Technology, Dept. of Mathematics, 2001.Includes bibliogr...
Modern model theory began with Morley's categoricity theorem: A countable first-order theory that ha...
This is the published version, also available here: http://www.dx.doi.org/10.1090/S0002-9939-1980-05...
AbstractThe results in this paper are in a context of abstract elementary classes identified by Shel...
We continue investigating the structure of externally definable sets in NIP theories and preservatio...
We study the complexity of the classification problem for countable models of set theory (ZFC). We p...
We consider limit models, i.e., countable models representable as unions of elementary chains of pri...
This thesis presents a systematic study of the model theory of probability algebras, random variabl...
Abstract. Using ♦ and large cardinals we extend results of Magidor–Malitz and Farah–Larson to obtain...
AbstractThe notion of a strongly determined type over A extending p is introduced, where p .∈ S(A). ...
AbstractWe show how to build various models of first-order theories, which also have properties like...
AbstractA first order theory T of power λ is called unidimensional if any twoλ+-saturated models of ...
In the early days of the development of model theory it was considered natural and was certainly ben...
AbstractWe introduce notions of strong and eventual strong non-isolation for types in countable, sta...
AbstractLet T be a complete, countable, first-order theory having infinite models. We introduce type...
Thesis (Ph. D.)--Massachusetts Institute of Technology, Dept. of Mathematics, 2001.Includes bibliogr...
Modern model theory began with Morley's categoricity theorem: A countable first-order theory that ha...
This is the published version, also available here: http://www.dx.doi.org/10.1090/S0002-9939-1980-05...
AbstractThe results in this paper are in a context of abstract elementary classes identified by Shel...
We continue investigating the structure of externally definable sets in NIP theories and preservatio...
We study the complexity of the classification problem for countable models of set theory (ZFC). We p...
We consider limit models, i.e., countable models representable as unions of elementary chains of pri...
This thesis presents a systematic study of the model theory of probability algebras, random variabl...
Abstract. Using ♦ and large cardinals we extend results of Magidor–Malitz and Farah–Larson to obtain...
AbstractThe notion of a strongly determined type over A extending p is introduced, where p .∈ S(A). ...
AbstractWe show how to build various models of first-order theories, which also have properties like...
AbstractA first order theory T of power λ is called unidimensional if any twoλ+-saturated models of ...
DOI
Add to ORKG