Saharon Shelah, Alex Usvyatsov
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.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
继续探索
Remarks on relative categoricity
论文探讨了相对范畴性的特殊情形，证明了Gaifman猜想，引入了全omega稳定性并反驳了全稳定性。
When does $\aleph_1$-categoricity imply $ω$-stability?
本研究针对ℵ₁-范畴的原子类，厘清ℵ₁大小唯一模型上的型空间，证明若此类存在大小为ℶ₁⁺的模型则具有ω-稳定性，明确了ℵ₁-范畴性蕴含ω-稳定性的条件。
We deal with stability theory for ``reasonable'' non-elementary classes without any remanents of compactness (like: above Hanf number or definable by L_{omega_1, omega}).
Inspired by Zermelo's quasi-categoricity result characterizing the models of second-order Zermelo-Fraenkel set theory $\text{ZFC}_2$, we investigate when those models are fully categorical, characterized by the addition to $\text{ZFC}_2$ either of a first-order sentence, a first-order theory, a second-order sentence or a second-order theory. Thus we mount an analysis of the categorical large cardinals. This mathematical analysis leads naturally to philosophical issues concerning structuralism and realism, including especially the tension between categoricity and reflection. Ultimately we ident…
Relative stability, relative categoricity and internal covers
研究相对范畴理论\((T,P)\)中\(T\)是\(T^P\)内部覆盖的情况，给出其结构理论，证明\(T\)相对ω-稳定当且仅当对偶绑定群\(H\)在可定义子群上有降链条件。
On Stability and Existence of Models in Abstract Elementary 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.
This thesis develops some of the basic model theory of covers of algebraic curves. In particular, an equivalence between the good model-theoretic behaviour of the modular j-function, and the openness of certain Galois representations in the Tate-modules of abelian varieties is described.
We give a model-theoretic characterization of the class of geometric theories classified by an atomic topos having enough points; in particular, we show that every complete geometric theory classified by an atomic topos is countably categorical. Some applications are also discussed.
We propose a model-theoretic structure for Shimura varieties and give necessary and sufficient conditions to obtain categoricity. We show that these conditions are directly related to important conjectures in number theory coming from Galois representations attached the points of a Shimura variety. We end by showing that the existing literature is enough to prove categoricity of $\mathcal{A}_{2}$ and $\mathcal{A}_{3}$.
We describe a model-theoretic setting for the study of Shimura varieties, and study the interaction between model theory and arithmetic geometry in this setting. In particular, we show that the model-theoretic statement of a certain $\mathcal{L}_{ω_1, ω}$-sentence having a unique model of cardinality $\aleph_1$ is equivalent to a condition regarding certain Galois representations associated with Hodge-generic points. We then show that for modular and Shimura curves this $\mathcal{L}_{ω_1, ω}$-sentence has a unique model in every infinite cardinality. In the process, we prove a new characterisa…
Working in the context of $μ$-abstract elementary classes ($μ$-AECs) - or, equivalently, accessible categories with all morphisms monomorphisms - we examine the two natural notions of size that occur, namely cardinality of underlying sets and internal size. The latter, purely category-theoretic, notion generalizes e.g. density character in complete metric spaces and cardinality of orthogonal bases in Hilbert spaces. We consider the relationship between these notions under mild set-theoretic hypotheses, including weakenings of the singular cardinal hypothesis. We also establish preliminary resu…
Building models in small cardinals in local abstract elementary classes
本文证明了在局部抽象初等类中，假设Galois类型满足温和局部性条件，稳定性足以在小基数下构建更大模型，并显著改进了已有定理使其适用于部分不稳定类。
This paper has three parts. First, we study and characterize amenable and extremely amenable topological semigroups in terms of invariant measures using integral logic. We prove definability of some properties of a topological semigroup such as amenability and the fixed point on compacta property. Second, we define types and develop local stability in the framework of integral logic. For a stable formula $ϕ$, we prove definability of all complete $ϕ$-types over models and deduce from this the fundamental theorem of stability. Third, we study an important property in measure theory, Talagrand's…
We study and characterize stability, NIP and NSOP in terms of topological and measure theoretical properties of classes of functions. We study a measure theoretic property, `Talagrand's stability', and explain the relationship between this property and NIP in continuous logic. Using a result of Bourgain, Fremlin and Talagrand, we prove the `almost definability' and `Baire~1 definability' of coheirs assuming NIP. We show that a formula $ϕ(x,y)$ has the strict order property if and only if there is a convergent sequence of continuous functions on the space of $ϕ$-types such that its limit is not…
We investigate the automorphism groups of $\aleph\_0$-categorical structures and prove that they are exactly the Roelcke precompact Polish groups. We show that the theory of a structure is stable if and only if every Roelcke uniformly continuous function on the automorphism group is weakly almost periodic. Analysing the semigroup structure on the weakly almost periodic compactification, we show that continuous surjective homomorphisms from automorphism groups of stable $\aleph\_0$-categorical structures to Hausdorff topological groups are open. We also produce some new WAP-trivial groups and c…
We point out how the "Fundamental Theorem of Stability Theory", namely the equivalence between the "non order property" and definability of types, proved by Shelah in the 1970s, is in fact an immediate consequence of Grothendieck's "Crit{è}res de compacit{é}" from 1952. The familiar forms for the defining formulae then follow using Mazur's Lemma regarding weak convergence in Banach spaces.
This note is a commentary on the model-theoretic interpretation of Grothendieck's double limit characterization of weak relative compactness.
We study model-theoretic and stability-theoretic properies of the nonabelian free group in the light of Sela's recent result on stability and results announced by Bestvina and Feighn. We point out analogies between the free group and so-called bad groups of finite Morley rank and we prove non CM-triviality of the free group.
扫码添加微信好友，提出您的宝贵建议 👇
💡 备注请填写：网站反馈
发表机构由 AI 从论文文本抽取，如发现错误，欢迎反馈修正建议。