Showing 1–17 of 17 results for author: Usvyatsov, A

On the existence property over a predicate

Authors: Alexander Usvyatsov

Abstract: We prove that in a countable theory T fully stable over a predicate P, any complete set A has the existence property. This means that A can be extended to a model of T without changing the P-part. In particular, T has the Gaifman property: any model of P occurs as the P-part of some model of T. This generalizes results of Lachlan (on stable theories), Hodges (on relatively categorical abelian grou… ▽ More We prove that in a countable theory T fully stable over a predicate P, any complete set A has the existence property. This means that A can be extended to a model of T without changing the P-part. In particular, T has the Gaifman property: any model of P occurs as the P-part of some model of T. This generalizes results of Lachlan (on stable theories), Hodges (on relatively categorical abelian groups), and Afshordel (on difference fields of characteristic 0). △ Less

Submitted 27 February, 2025; originally announced February 2025.

Stability over a predicate and prime closure

Authors: Alexander Usvyatsov

Abstract: 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. 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. △ Less

Submitted 2 January, 2024; originally announced January 2024.

On sample complexity of neural networks

Authors: Alexander Usvyatsov

Abstract: We consider functions defined by deep neural networks as definable objects in an o-miminal expansion of the real field, and derive an almost linear (in the number of weights) bound on sample complexity of such networks. We consider functions defined by deep neural networks as definable objects in an o-miminal expansion of the real field, and derive an almost linear (in the number of weights) bound on sample complexity of such networks. △ Less

Submitted 24 October, 2019; originally announced October 2019.

Classification over a predicate -- the general case. Part I -- structure theory

Authors: Saharon Shelah, Alexander Usvyatsov

Abstract: We begin a systematic development of structure theory for a first order theory, which is stable over a monadic predicate. We show that stability over a predicate implies quantifier free definability of types over stable sets, introduce an independence notion and explore its properties, prove stable amalgamation results, and show that every type over a model, orthogonal to the predicate, is generic… ▽ More We begin a systematic development of structure theory for a first order theory, which is stable over a monadic predicate. We show that stability over a predicate implies quantifier free definability of types over stable sets, introduce an independence notion and explore its properties, prove stable amalgamation results, and show that every type over a model, orthogonal to the predicate, is generically stable. △ Less

Submitted 16 February, 2023; v1 submitted 23 October, 2019; originally announced October 2019.

Generic wide indiscernible sets

Authors: Alexander Usvyatsov

Abstract: We prove that a wide Morley sequence in a wide generically stable type is isometric to the standard basis of an $\ell_p$ space for some $p$. We prove that a wide Morley sequence in a wide generically stable type is isometric to the standard basis of an $\ell_p$ space for some $p$. △ Less

Submitted 23 October, 2019; originally announced October 2019.

Minimal types in stable Banach spaces

Authors: Saharon Shelah, Alexander Usvyatsov

Abstract: We prove existence of wide types in a continuous theory expanding a Banach space, and density of minimal wide types among stable types in such a theory. We show that every minimal wide stable type is "generically" isometric to an l_2 space. We conclude with a proof of the following formulation of Henson's Conjecture: every model of an uncountably categorical theory expanding a Banach space is prim… ▽ More We prove existence of wide types in a continuous theory expanding a Banach space, and density of minimal wide types among stable types in such a theory. We show that every minimal wide stable type is "generically" isometric to an l_2 space. We conclude with a proof of the following formulation of Henson's Conjecture: every model of an uncountably categorical theory expanding a Banach space is prime over a spreading model, isometric to the standard basis of a Hilbert space. △ Less

Submitted 19 August, 2019; v1 submitted 26 February, 2014; originally announced February 2014.

Report number: [ShUs:1020]

Strict independence

Authors: Itay Kaplan, Alexander Usvyatsov

Abstract: 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 o… ▽ More 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. △ Less

Submitted 30 September, 2014; v1 submitted 20 August, 2012; originally announced August 2012.

MSC Class: 03C95; 03C45

Additivity of the dp-rank

Authors: Itay Kaplan, Alf Onshuus, Alexander Usvyatsov

Abstract: 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. 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. △ Less

Submitted 29 December, 2011; v1 submitted 7 September, 2011; originally announced September 2011.

Orthogonality and domination in unstable theories

Authors: Alf Onshuus, Alex Usvyatsov

Abstract: In the first part of the paper we study orthogonality, domination, weight, regular and minimal types in the contexts of rosy and super-rosy theories. Then we try to develop analogous theory for arbitrary dependent theories. In the first part of the paper we study orthogonality, domination, weight, regular and minimal types in the contexts of rosy and super-rosy theories. Then we try to develop analogous theory for arbitrary dependent theories. △ Less

Submitted 21 September, 2009; originally announced September 2009.

MSC Class: 03C45

Unstable classes of metric structures

Authors: Saharon Shelah, Alexander Usvyatsov

Abstract: We prove a strong non-structure theorem for a class of metric structures with an unstable pair of formulae. As a consequence, we show that weak categoricity (that is, categoricity up to isomorphisms and not isometries) implies several versions of stability. This is the first step in the direction of the investigation of weak categoricity and weak stability of metric classes. We prove a strong non-structure theorem for a class of metric structures with an unstable pair of formulae. As a consequence, we show that weak categoricity (that is, categoricity up to isomorphisms and not isometries) implies several versions of stability. This is the first step in the direction of the investigation of weak categoricity and weak stability of metric classes. △ Less

Submitted 18 August, 2019; v1 submitted 3 October, 2008; originally announced October 2008.

Morley sequences in dependent theories

Authors: Alexander Usvyatsov

Abstract: We characterize nonforking (Morley) sequences in dependent theories in terms of a generalization of Poizat's special sequences and show that average types of Morley sequences are stationary over their domains. We characterize generically stable types in terms of the structure of the "eventual" type. We then study basic properties of "strict Morley sequences", based on Shelah's notion of strict n… ▽ More We characterize nonforking (Morley) sequences in dependent theories in terms of a generalization of Poizat's special sequences and show that average types of Morley sequences are stationary over their domains. We characterize generically stable types in terms of the structure of the "eventual" type. We then study basic properties of "strict Morley sequences", based on Shelah's notion of strict nonforking. In particular we prove "Kim's lemma" for such sequences, and a weak version of local character. △ Less

Submitted 3 October, 2008; originally announced October 2008.

Generic separable metric structures

Authors: Alexander Usvyatsov

Abstract: We compare three notions of genericity of separable metric structures. Our analysis provides a general model theoretic technique of showing that structures are generic in descriptive set theoretic (topological) sense and in measure theoretic sense. In particular, it gives a new perspective on Vershik's theorems on genericity and randomness of Urysohn's space among separable metric spaces. We compare three notions of genericity of separable metric structures. Our analysis provides a general model theoretic technique of showing that structures are generic in descriptive set theoretic (topological) sense and in measure theoretic sense. In particular, it gives a new perspective on Vershik's theorems on genericity and randomness of Urysohn's space among separable metric spaces. △ Less

Submitted 1 February, 2008; originally announced February 2008.

Continuous first order logic and local stability

Authors: Itaï Ben Yaacov, Alexander Usvyatsov

Abstract: 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. 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. △ Less

Submitted 28 January, 2008; originally announced January 2008.

Journal ref: Transactions of the American Mathematical Society 362, 10 (2010) 5213-5259

On generically stable types in dependent theories

Authors: Alexander Usvyatsov

Abstract: We develop the theory of generically stable types, independence relation based on nonforking and stable weight in the context of dependent (NIP) theories. We develop the theory of generically stable types, independence relation based on nonforking and stable weight in the context of dependent (NIP) theories. △ Less

Submitted 1 February, 2008; v1 submitted 3 September, 2007; originally announced September 2007.

Model theoretic stability and categoricity for complete metric spaces

Authors: Saharon Shelah, Alex Usvyatsov

Abstract: We deal with the systematic development of stability for the context of approximate elementary submodels of a monster metric space, which is not far, but still very distinct from the first order case. In particular we prove the analogue of Morley's theorem for the classes of complete metric spaces. We deal with the systematic development of stability for the context of approximate elementary submodels of a monster metric space, which is not far, but still very distinct from the first order case. In particular we prove the analogue of Morley's theorem for the classes of complete metric spaces. △ Less

Submitted 13 December, 2006; originally announced December 2006.

Report number: Shelah [ShUs:837]

More on SOP_1 and SOP_2

Authors: Saharon Shelah, Alex Usvyatsov

Abstract: This paper continues math.LO/0009087. We present a rank function for NSOP_1 theories and give an example of a theory which is NSOP_1 but not simple. We also investigate the connection between maximality in the ordering <^* among complete first order theories and the (N)SOP_2 property. We complete the proof started in math.LO/0009087 of the fact that <^*-maximality implies SOP_2 and get weaker re… ▽ More This paper continues math.LO/0009087. We present a rank function for NSOP_1 theories and give an example of a theory which is NSOP_1 but not simple. We also investigate the connection between maximality in the ordering <^* among complete first order theories and the (N)SOP_2 property. We complete the proof started in math.LO/0009087 of the fact that <^*-maximality implies SOP_2 and get weaker results in the other direction. The paper provides a step toward the classification of unstable theories without the strict order property. △ Less

Submitted 7 April, 2004; originally announced April 2004.

Report number: Shelah [ShUs:E32]

Banach spaces and groups - order properties and universal models

Authors: Saharon Shelah, Alex Usvyatsov

Abstract: We deal with two natural examples of almost-elementary classes: the class of all Banach spaces (over R or C) and the class of all groups. We show both of these classes do not have the strict order property, and find the exact place of each one of them in Shelah's SOP_n (strong order property of order n) hierarchy. Remembering the connection between this hierarchy and the existence of universal m… ▽ More We deal with two natural examples of almost-elementary classes: the class of all Banach spaces (over R or C) and the class of all groups. We show both of these classes do not have the strict order property, and find the exact place of each one of them in Shelah's SOP_n (strong order property of order n) hierarchy. Remembering the connection between this hierarchy and the existence of universal models, we conclude, for example, that there are ``few'' universal Banach spaces (under isometry) of regular cardinalities. △ Less

Submitted 26 March, 2003; originally announced March 2003.

Report number: Shelah [ShUs:789]