Stability over a predicate and prime closure
We prove that in a theory $T$ stable over a predicate $P$, for any $λ> |T|$, there is a $λ$-prime model over any complete set A with a $λ$-saturated $P$-part.
Source author record
Alexander Usvyatsov
Alexander Usvyatsov appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.
ResearcherUnclaimed source record
Catalog footprint
What is connected
4works
2topics
3close collaborators
Research graph
See the researcher in context
Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.
Building this map preview
BZPEER is loading the nearby papers, people, topics and institutions for this page.
Published work
4 published item(s)
preprint2014arXiv
Strict independence
We investigate the notions of strict independence and strict non-forking, and establish basic properties and connections between the two. In particular it follows from our investigation that in resilient theories strict non-forking is symmetric. Based on this study, we develop notions of weight which characterize NTP2, dependence and strong dependence. Many of our proofs rely on careful analysis of sequences that witness dividing. We prove simple characterizations of such sequences in resilient theories, as well as of Morley sequences which are witnesses. As a by-product we obtain information on types co-dominated by generically stable types in dependent theories. For example, we prove that every Morley sequence in such a type is a witness.
0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv
Additivity of the dp-rank
The main result of this article is sub-additivity of the dp-rank. We also show that the study of theories of finite dp-rank can not be reduced to the study of its dp-minimal types, and discuss the possible relations between dp-rank and VC-density.
0 citations0 reviewsNo code linkedOpen access
preprint2008arXiv
Continuous first order logic and local stability
We develop continuous first order logic, a variant of the logic described in \cite{Chang-Keisler:ContinuousModelTheory}. We show that this logic has the same power of expression as the framework of open Hausdorff cats, and as such extends Henson's logic for Banach space structures. We conclude with the development of local stability, for which this logic is particularly well-suited.
0 citations0 reviewsNo code linkedOpen access