DOCSLIB.ORG

1 1. Stability Stability Is Fundamentally a Local Hypothesis, Indeed A

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
1 1. Stability Stability Is Fundamentally a Local Hypothesis, Indeed A 1 1 1. Stability Stability is fundamentally a local hypothesis, indeed a combinatorial hy- pothesis on a bipartite graph. A bi-partite graph is just a triple of sets G = (G1;G2; I) with I G1 G2; one thinks of I as relating elements of ⊂ × G1 to elements of G2. An example is Ln, where G1 and G2 are two copies of 1; : : : ; n , and I is the graph of the order relation i < j. f g Definition 1.1. A bi-partite graph is stable if for some n, G does not embed the graph Ln Definition 1.2. A Γ-formula a formula equivalent to a quantifier-free formula, possibly with additional parameters. A set C is Γ-algebraically-closed if for every Γ-formula E over C defining an equivalence relation with finitely many classes, each class of E is coded by an element of C.A Γ-type over C is a maximal consistent collection of Γ-formulas over C.A Γ-type p over Γ is clearly determined by its restriction to atomic formulas; we will say p is definable if there exists a formula α(y) such that xIy p iff α(y) (or dually; we will write 2 xIy or yIx interchangeably.) If p is definable, the defining formula is unique up to logical equivalence, and will be denoted (dpx)(xIy). Atomic types over Γ are assumed consistent with Th(Γ) (equivalently, with the universal theory of Γ.) Lemma 1.3. The following are equivalent: i) Γ is stable ii) For every countable Γ0 satisfying the universal theory T of Γ, there are 8 countably many atomic types over Γ0 consistent with the universal theory of Γ0. 1Adapted from: Model theory and applications, 151{212, Quad. Mat., 11, Aracne, Rome, 2002. 2 iii) There is no sequence (aibi : i < !) in an elementary extension of Γ such that aiIbj iff i < j: Proof { The equivalence of (i),(iii) is immediate, and (i) (ii) is a : !: standard excerices in compactness. (i) (ii) follows from 1.6(a). ! Definition 1.4. Let N be a structure for a language L0, and let a : N U be ! a function. Let Θ be a collection of formulas. For θ = θ(x1; : : : ; xn) Θ, let n 2 a∗(θ) = (c1; : : : ; cn) N : U = θ(a(c1); : : : ; a(cn)). f 2 j We say a is indiscernible for (N; Θ) if for any θ Θ, a∗(θ) is definable in 2 N. Main case: the structure on N consists just of a linear ordering, or no structure at all; and Θ is the collection of all formulas. In these cases we say that a is an indiscernible sequence, respectively an indiscernible set. Remark 1.5 - In Lemma 1.3 (iii), we can take the sequence to be indiscernible. Proof { It is clear that any infinite subsequence will have the same prop- erty. If Θ is a finite set of formulas, it follows from Ramsey's theorem that any sequence (ai : i N) has an infinite (<; Θ)-indiscernible subsequence. By com- 2 pactness we can obtain an indiscernible sequence with the same property. Theorem 1.6. Let Γ be a stable bi-partite graph a) (Definability) Every atomic type over Γ is definable, by a Γ- formula. b) (Existence of nonforking extension.) Let C Γ, p a Γ-type over C. Then ⊆ there exists a Γ-type p∗ over Γ such that p∗ p , and p∗ is definable over ⊇ acl(C). c) (Symmetry). Let C be Γ-algebraically closed. Suppose pi(xi) are Γ-types over Γ, pi(xi) implies xi Γi, and p1, p2 are definable over acl(C). Let 2 ai realize pi C. Then a1Ix2 p2 iff x1Ia2 p1. j 2 2 d) (Uniqueness.) Let C be Γ-algebraically closed. Then the nonforking ex- tension p∗ in (b) is unique. Hence it is defined over C. 3 e) (Forking characterization) Let p(x) be a Γ-type over C = aclΓ(C), p∗ its non-forking extension, and suppose xIb = p∗. Then there exist conjugates 2 bi of b (i !) such that p(x) xIbi : i ! is inconsistent. 2 [ f 2 g f) (Finiteness and conjugacy). The set X(q) of nonforking extensions of a Γ-type q over is finite. There exists a 0-definable, Γ-definable equiva- ; lence relation Eq splitting q into finitely many classes (all realizing the same type), such that in each Eq class there is a unique element of X(q). If G is any group of automorphisms of Γ fixing C and transitive on the Eq-classes, then G is transitive on X(q). Proof { For the proofs Γ may be assumed countable, and further may be replaced by a somewhat saturated elementary extension: enough so that an (imaginary) element is definable over a finite set C iff it has no proper conju- gates over C. We will avoid using local rank, except in quoting the following result from elementary topology: if X is a countable compact Hausdorff space then there exists a finite closed subspace X0 invariant under every automor- phism of X. (Namely the points left over at the end of a Cantor-Bendixon analysis.) (a) Note that there can be no (ai; bi; ci) with tp (an= ci : i < n ) = tp (bn= ci : at f g at f i < n ), but anIci (bnIci) for n < i. For by Ramsey's theorem we may g ≡ : assume either bn ci whenever i < n, or (anIci) whenvever i < n; and an j : infinite sequence of either (aici) or (bici) will contradict stability. Given an atomic type p over Γ, pick ai; bi; ci Γ such that cn realizes p ai; bi : i < n . 2 jf g At some point it becomes impossible to choose an; bn realizing the same atomic type over ci : i < n but such that (anIx p) (bnIx p). Clearly p is f g 2 ≡ : 2 atomically definable over ci : i < n . f g b) The space X of Γ-types over Φ is compact, Hausdorff and by 1.3(ii) also countable. It follows that X has an Aut(X)-invariant finite subset X0. Let p X0. Then p has finitely many conjugates over C, hence the p-definition of 2 I has finitely many such conjugates; so it is over acl(C). c) Let qi = pi C. Let Xi be the set of nonforking extensions of qi, in the sense j of (b). The equivalence relation Ei defined by: xEix0 iff for each p Xi, 2 (dpy)(xIy) = (dpy)(xIy) is defined over C, has finitely many classes, and is a Γ-formula by 2(a). Since C is Γ-algebraically closed and q3 i is Γ-complete, − 4 every element of q3 i lies in a single class of Ei. Hence if a, a0 realize q1 and b − realizes p2 a; a0 then aIb iff a0Ib; and dually. Thus if the required statement jf g fails, then we have: (∗) whenever ai realizes qi,(a1Ix2) p2 iff (x1Ia2 p1). 2 : 2 Pick ai; bi Γ such that an realizes p1 a1; : : : ; an 1; b1; : : : ; bn 1 and bn re- 2 jf − − g alizes p2 a1; : : : ; an; b1; : : : ; bn 1 . Then by (∗) aiIbn iff (anIbi) for i < n. jf − g : This contradicts the assumption of stability. d) Suppose p1, p10 are both definable over acl(C) and extend p. Pick any ele- ment a, and let q be an acl(C)-definable extension of tp(a=C). Let b realize p. Then by (c), xIa p1 iff bIy q iff xIa p0 . So p1 = p0 . 2 2 2 1 1 e) Let q be a nonforking extension of tp(b=C). Let bn realize q b0; : : : ; bn 1 . jf − g Suppose p(x) xIbi : i ! is consistent; let r0 be a complete type over [ f 2 g acl(C b0; b1;::: ) extending it, and let r be a nonforking extension of r0. r [ f g is definable over B = acl(C b0; : : : ; bn 1 ) for some n. Let a realize r B. By [ f − g j (c) we have: i) xIbn r iff aIy q. 2 2 ii) xIb p∗ iff aIy q. 2 2 But xIb = p∗ by assumption, while so xIbn r0 r a contradiction. 2 2 ⊆ f) By (C) there is a 1-1 correspondence between X(q) and the set Y (q) of ex- tensions of q to Γ-types over aclΓ( ). So we may consider Y (q) instead of X(q). ; Let q0 Y (q), and let p be any complete type extending q. Then p q0 is con- 2 [ sistent: otherwise let φ q0, φ p; let φ0 be the disjunction of all conjugates 2 : 2 of φ; then φ0 p but φ0 q0 and φ0 is over , so φ0 q, a contradiction. : 2 2 ; 2 Now given q1; q2 Y (q), let ai realize qi p; then for some automorphism 2 [ σ we have σa1 = a2, and σq1 = tp (σa1=aclΓ( )) = q2. This shows (using Γ ; our saturation assumption) that Aut(G) is transitive on Y (q) and hence on X(q). Since by (a) an element of X(q) is coded by a single imaginary element, we have a conjugacy class of imaginary elements, each of which is algebraic over ; it follows the class is finite. Thus Y (q) is finite. Define: a1Eqa2 iff ; tp (a1=aclΓ( )) = tp (a2=aclΓ( )); then by the finiteness Eq is definable. The Γ ; Γ ; last two statements are immediate. Lemma 1.7. Suppose (Γ1; Γ2; I) and (Γ1; Γ0 ; I0) are stable. Let Γ∗ = Γ2 Γ0 , 2 2 × 2 and let I∗ be any Boolean combination of I and I0.
Load more

Recommended publications
  • [Math.LO] 2 Mar 2011 39,18B40
    GROUPOIDS, IMAGINARIES AND INTERNAL COVERS EHUD HRUSHOVSKI Abstract. Let T be a first-order theory. A correspondence is established between internal covers of models of T and definable groupoids within T . We also consider amalgamations of independent diagrams of algebraically closed substructures, and find strong relation between: covers, uniqueness for 3-amalgamation, existence of 4-amalgamation, imaginaries of T σ, and definable groupoids. As a corollary, we describe the imaginary elements of families of finite- dimensional vector spaces over pseudo-finite fields. The questions this manuscript addresses arose in the course of an investigation of the imag- inary sorts in ultraproducts of p-adic fields. These were shown to be understandable given the imaginary sorts of certain finite-dimensional vector spaces over the residue field. The residue field is pseudo-finite, and the imaginary elements there were previously studied, and shown in fact to be eliminable over an appropriate base. It remains therefore to describe the imaginaries of finite-dimensional vector spaces over a field F , given those of F . I expected this step to be rather easy; but it turned out to become easy only after a number of issues, of interest in themselves, are made clear. Let T be a first-order theory. A correspondence is established between internal covers of models of T and definable groupoids within T . Internal covers were recognized as central in the study of totally categorical structures, but nevertheless remained mysterious; it was not clear how to describe the possible T ′ from the point of view of T . We give an account of this here, in terms of groupoids in place of equivalence relations.
    [Show full text]
  • Oort Conjecture for the Moduli Space of Abelian Surfaces
    COMPOSITIO MATHEMATICA The Andr´e{Oortconjecture for the moduli space of abelian surfaces Jonathan Pila and Jacob Tsimerman Compositio Math. 149 (2013), 204{216. doi:10.1112/S0010437X12000589 FOUNDATION COMPOSITIO MATHEMATICA Downloaded from https://www.cambridge.org/core. IP address: 170.106.35.234, on 28 Sep 2021 at 16:32:51, subject to the Cambridge Core terms of use, available at https://www.cambridge.org/core/terms. https://doi.org/10.1112/S0010437X12000589 Compositio Math. 149 (2013) 204{216 doi:10.1112/S0010437X12000589 The Andr´e{Oortconjecture for the moduli space of abelian surfaces Jonathan Pila and Jacob Tsimerman Abstract We provide an unconditional proof of the Andr´e{Oortconjecture for the coarse moduli space A2;1 of principally polarized abelian surfaces, following the strategy outlined by Pila{Zannier. 1. Introduction and notation Let Ag;1 denote the coarse moduli space of principally polarized abelian varieties of dimension g. Our main theorem is the following, proving the Andr´e{Oortconjecture for A2;1. Theorem 1.1. Let V ⊂ A2;1 be an algebraic subvariety, which is equal to the Zariski closure of its CM points. Then V is a special subvariety. Here, a subvariety means a relatively closed irreducible subvariety. Varieties will be identified with their sets of complex-valued points. We follow the general strategy of Pila{Zannier. Set Hg to be the Siegel upper half space t Hg = fZ 2 Mg×g(C) j Z = Z ; Im(Z) > 0g: We denote by π : Hg !Ag;1 t g(g+1)=2 the natural projection map. The set fZ 2 Mg×g(C)jZ = Z g is naturally identified with C , g(g+1)=2 g(g+1) identifying Hg with an open domain.
    [Show full text]
  • 3 Fundamental Class 20 3.1 Bottom Fundamental Class
    JAIST Repository https://dspace.jaist.ac.jp/ Title A Categorical Description of Relativization Author(s) 吉村, 和人 Citation Issue Date 2013-03 Type Thesis or Dissertation Text version author URL http://hdl.handle.net/10119/11296 Rights Description Supervisor:石原 哉, 情報科学研究科, 修士 Japan Advanced Institute of Science and Technology A Categorical Description of Relativization By Kazuto Yoshimura A thesis submitted to School of Information Science, Japan Advanced Institute of Science and Technology, in partial fulfillment of the requirements for the degree of Master of Information Science Graduate Program in Information Science Written under the direction of Hajime Ishihara March 2013 A Categorical Description of Relativization By Kazuto Yoshimura (1110069) A thesis submitted to School of Information Science, Japan Advanced Institute of Science and Technology, in partial fulfillment of the requirements for the degree of Master of Information Science Graduate Program in Information Science Written under the direction of Hajime Ishihara and approved by Hajime Ishihara Kazuhiro Ogata Mizuhito Ogawa February 2013 (Submitted) Copyright c 2013 by Kazuto Yoshimura Contents 1 Introduction 2 2 Preliminairies 5 2.1 Set Theoretic Notations . 5 2.2 Category . 9 2.3 Functor . 18 3 Fundamental Class 20 3.1 Bottom Fundamental Class . 20 3.1.1 Classes of Morphisms . 20 3.1.2 Factorization System . 22 3.1.3 Pre-Effectiveness . 27 3.2 Imaginary Fundamental Class . 29 3.2.1 Extending Fundamental classes . 29 3.2.2 Imaginary Operator . 32 3.2.3 The Strongest Extension Ability . 34 3.2.4 Dense morphisms . 37 3.3 Limit Fundamental Class . 38 3.3.1 Effectiveness .
    [Show full text]
  • The André-Oort Conjecture for the Moduli Space Of
    THE ANDRE-OORT´ CONJECTURE FOR THE MODULI SPACE OF ABELIAN SURFACES JONATHAN PILA AND JACOB TSIMERMAN Abstract. We provide an unconditional proof of the Andr´e-Oortcon- jecture for the coarse moduli space A2;1 of principally polarized Abelian surfaces, following the strategy outlined by Pila-Zannier. 1. introduction and notation Set Hg to be the Siegel upper half space t Hg = fZ 2 Mg(C) j Z = Z ; Im(Z) > 0g: Let Ag;1 denote the coarse moduli space of principally polarized Abelian varieties of dimension g. Our main theorem is the following, proving the Andr´e-Oortconjecture for A2;1 : Theorem 1.1. Let V ⊂ A2;1 be an algebraic subvariety, which is equal to the Zariski closure of its CM points. Then V is a special subvariety. We follow the general strategy of Pila-Zannier. One ingredient we need is the following Ax-Lindemann-Weierstrass theorem: We denote by π : H2 !A2;1 6 the natural projection map. We consider H2 ⊂ R with coordinates provided 3 by real and imaginary part of the complex coordinates in C , and call a set 6 semialgebraic if it is a semialgebraic set in R . Let V ⊂ A2;1 be an algebraic variety, Z = π−1(V ), and Y ⊂ Z an irreducible semialgebraic subvariety 0 of H2. We say that Y is maximal if for all semialgebraic subvarieties Y containing Y with Y 0 ⊂ Z, Y is a component of Y 0. Theorem 1.2. Let Y ⊂ Z be a maximal semialgebraic variety. Then Y is a weakly special subvariety. Fix Fg ⊂ Hg to be the standard fundamental domain [8].
    [Show full text]
  • View of first-Order Logic and O-Minimality
    TAMENESS RESULTS FOR EXPANSIONS OF THE REAL FIELD BY GROUPS DISSERTATION Presented in Partial Fulfillment of the Requirements for the Degree Doctor of Philosophy in the Graduate School of the Ohio State University By Michael A. Tychonievich, B.S., M.S. Graduate Program in Mathematics The Ohio State University 2013 Dissertation Committee: Prof. Christopher Miller, Advisor Prof. Timothy Carlson Prof. Ovidiu Costin Prof. Daniel Verdier c Copyright by Michael A. Tychonievich 2013 ABSTRACT Expanding on the ideas of o-minimality, we study three kinds of expansions of the real field and discuss certain tameness properties that they possess or lack. In Chapter 1, we introduce some basic logical concepts and theorems of o-minimality. In Chapter 2, we prove that the ring of integers is definable in the expansion of the real field by an infinite convex subset of a finite-rank additive subgroup of the reals. We give a few applications of this result. The main theorem of Chapter 3 is a struc- ture theorem for expansions of the real field by families of restricted complex power functions. We apply it to classify expansions of the real field by families of locally closed trajectories of linear vector fields. Chapter 4 deals with polynomially bounded o-minimal structures over the real field expanded by multiplicative subgroups of the reals. The main result is that any nonempty, bounded, definable d-dimensional sub- manifold has finite d-dimensional Hausdorff measure if and only if the dimension of its frontier is less than d. ii To my father, who has fallen asleep. iii ACKNOWLEDGMENTS As a graduate student, I owe thanks to many people, but I will only list a few here.
    [Show full text]
  • Real and Imaginary Parts of Decidability-Making Gilbert Giacomoni
    On the Origin of Abstraction : Real and Imaginary Parts of Decidability-Making Gilbert Giacomoni To cite this version: Gilbert Giacomoni. On the Origin of Abstraction : Real and Imaginary Parts of Decidability-Making. 11th World Congress of the International Federation of Scholarly Associations of Management (IF- SAM), Jun 2012, Limerick, Ireland. pp.145. hal-00750628 HAL Id: hal-00750628 https://hal-mines-paristech.archives-ouvertes.fr/hal-00750628 Submitted on 11 Nov 2012 HAL is a multi-disciplinary open access L’archive ouverte pluridisciplinaire HAL, est archive for the deposit and dissemination of sci- destinée au dépôt et à la diffusion de documents entific research documents, whether they are pub- scientifiques de niveau recherche, publiés ou non, lished or not. The documents may come from émanant des établissements d’enseignement et de teaching and research institutions in France or recherche français ou étrangers, des laboratoires abroad, or from public or private research centers. publics ou privés. On the Origin of Abstraction: Real and Imaginary Parts of Decidability-Making Gilbert Giacomoni Institut de Recherche en Gestion - Université Paris 12 (UPEC) 61 Avenue de Général de Gaulle 94010 Créteil [email protected] Centre de Gestion Scientifique – Chaire TMCI (FIMMM) - Mines ParisTech 60 Boulevard Saint-Michel 75006 Paris [email protected] Abstract: Firms seeking an original standpoint, in strategy or design, need to break with imitation and uniformity. They specifically attempt to understand the cognitive processes by which decision-makers manage to work, individually or collectively, through undecidable situations generated by equivalent possible choices and design innovatively. The behavioral tradition has largely anchored on Simon's early conception of bounded rationality, it is important to engage more explicitly cognitive approaches particularly ones that might link to the issue of identifying novel competitive positions.
    [Show full text]
  • STABLE STRUCTURES HOMOGENEOUS for a FINITE BINARY LANGUAGE T
    Sh:157 ISRAEL JOURNAL OF MATHEMATICS,Vol. 49, Nos. 1-3, 1984 STABLE STRUCTURES HOMOGENEOUS FOR A FINITE BINARY LANGUAGE t BY ALISTAIR H. LACHLAN AND SAHARON SHELAH Dedicated to the memory of Abraham Robinson on the tenth anniversary of his death ABSTRACT Let L be a finite relational language and H(E) denote the class of all countable stable L-structures M for which Th(M) admits elimination of quantifiers. For M E H(L) define the rank of M to be the maximum value of CR(p, 2), where p is a complete l-type over Q and CR(p,2) is Shelah's complete rank. If L has only unary and binary relation symbols there is a uniform finite bound for the rank of M @ H(L). This theorem confirms part of a conjecture of the first author. Intuitively it says that for each L there is a finite bound on the complexity of the structures in H(L). 1. Introduction A first-order language will be called binary if all its nonlogical symbols are relation symbols which are either unary or binary. All languages considered are relational and finite. For any finite relational language L let H(L) denote the class of all countable stable L-structures M which are homogeneous for L in the sense of Fraiss6, i.e., any isomorphism between finite substructures of M extends to an automorphism of M. In this context to say that M is homogeneous is the same as saying that Th(M) admits elimination of quantifiers. There is a notion of rank which is useful in this context.
    [Show full text]
  • Differential Algebraic Equations from Definability
    Differential algebraic equations from definability Thomas Scanlon 24 October 2014 Thomas Scanlon ADEs from definability Is the logarithm a function? × The exponential function exp : C ! C has a many-valued analytic × inverse log : C ! C where log is well-defined only up to the adding an element of 2πiZ. Thomas Scanlon ADEs from definability The logarithmic derivative Treating exp and log as functions on functions does not help: If U × is some connected Riemann surface and f : U ! C is analytic, then we deduce a “function” log(f ): U ! C. However, because log(f ) is well-defined up to an additive constant, d @ log(f ) := dz (log(f )) is a well defined function. That is, for M = M (U) the differential field of meromorphic functions on U we have a well-defined differential-analytic function @ log : M× ! M. f 0 Of course, one computes that @ log(f ) = f is, in fact, differential algebraic. Thomas Scanlon ADEs from definability Explanation? Why is the logarithmic differential algebraic? What a silly question! The logarithm is the very first transcendental function whose derivative is computed in a standard calculus course. The differential algebraicity of d dz (log(f )) is merely a consequence of an elementary calculation. The usual logarithmic derivative is an instance of Kolchin’s general theory of algebraic logarithmic derivatives on algebraic groups in which the differential algebraicity is explained by the triviality of the tangent bundle of an algebraic group. It can also be seen as an instance of the main theorem to be discussed today: certain kinds of differential analytic functions constructed from covering maps are automatically differential algebraic due to two key ideas from logic: elimination of imaginaries and the Peterzil-Starchenko theory of o-minimal complex analysis.
    [Show full text]
  • Model Theory of Fields and Heights Haydar Göral
    Model Theory of Fields and Heights Haydar Göral To cite this version: Haydar Göral. Model Theory of Fields and Heights. General Mathematics [math.GM]. Université Claude Bernard - Lyon I, 2015. English. NNT : 2015LYO10087. tel-01184906v3 HAL Id: tel-01184906 https://hal.archives-ouvertes.fr/tel-01184906v3 Submitted on 13 Nov 2015 HAL is a multi-disciplinary open access L’archive ouverte pluridisciplinaire HAL, est archive for the deposit and dissemination of sci- destinée au dépôt et à la diffusion de documents entific research documents, whether they are pub- scientifiques de niveau recherche, publiés ou non, lished or not. The documents may come from émanant des établissements d’enseignement et de teaching and research institutions in France or recherche français ou étrangers, des laboratoires abroad, or from public or private research centers. publics ou privés. Universit´e Claude Bernard Lyon 1 Ecole´ doctorale InfoMath, ED 512 Sp´ecialit´e:Math´ematiques N. d’ordre 87-2015 Model Theory of Fields and Heights La Th´eorie des Mod`eles des Corps et des Hauteurs Th`ese de doctorat Soutenue publiquement le 3 Juillet 2015 par Haydar G¨oral devant le Jury compos´ede: Mme Fran¸coise DELON CNRS Institut de Math´ematiques de Jussieu, Paris Rapporteuse M. Ayhan GUNAYDIN¨ Universit´e des Beaux-Arts Mimar-Sinan, Istanbul Examinateur M. Piotr KOWALSKI Universit´edeWroclaw, Pologne Rapporteur M. Amador MARTIN-PIZARRO CNRS, Institut Camille Jordan, Villeurbanne Directeur de th`ese M. Frank WAGNER Universit´e Claude Bernard Lyon 1 Directeur de th`ese Model Theory of Fields and Heights La Th´eorie des Mod`eles des Corps et des Hauteurs 3 Juillet 2015 Haydar G¨oral Th`ese de doctorat Model Theory of Fields and Heights Abstract : In this thesis, we deal with the model theory of algebraically closed fields expanded by predicates to denote either elements of small height or multiplicative subgroups satisfying a diophantine condition.
    [Show full text]
  • Automorphism Groups of Saturated Structures; a Review
    ICM 2002 · Vol. III · 1–3 Automorphism Groups of Saturated Structures; A Review D. Lascar∗ Abstract We will review the main results concerning the automorphism groups of saturated structures which were obtained during the two last decades. The main themes are: the small index property in the countable and uncountable cases; the possibility of recovering a structure or a significant part of it from its automorphism group; the subgroup of strong automorphisms. 2000 Mathematics Subject Classification: 03C50, 20B27. Keywords and Phrases: Automorphism groups, Small index property, Strong automorphisms. 1. Introduction Saturated models play an important role in model theory. In fact, when study- ing the model theory of a complete theory T , one may work in a large saturated model of T with its definable sets, and forget everything else about T . This large sat- urated structure is sometimes called the “universal domain”, sometimes the “mon- ster model”. A significant work has been done the last twenty years on the automorphism groups of saturated models. It is this work that I want to review here. There is a central question that I will use as a “main theme” to organize the paper: what arXiv:math/0304205v1 [math.LO] 15 Apr 2003 information about M and its theory are contained in its group of automorphisms? In the best case, M itself is “encoded” in some way in this group; recovering M from it is known as “the reconstruction problem”. A possible answer to this problem is a theorem of the form: If M1 and M2 are structures in a given class with isomorphic automorphism groups, then M1 and M2 are isomorphic.
    [Show full text]
  • Download File
    ASPECTS OF STABILITY IN SIMPLE THEORIES A Dissertation Submitted to the Graduate School of the University of Notre Dame in Partial Fulfillment of the Requirements for the Degree of Doctor of Philosophy by Donald A. Brower Steven Buechler, Director Graduate Program in Mathematics Notre Dame, Indiana April 2012 c Copyright by Donald A. Brower 2012 All Rights Reserved ASPECTS OF STABILITY IN SIMPLE THEORIES Abstract by Donald A. Brower Simple theories are a strict extension of stable theories for which non-forking independence is a nice independence relation. However, not much is known about how the simple unstable theories differ from the strictly stable ones. This work looks at three aspects of simple theories and uses them to give a better picture of the differences between the two classes. First, we look at the property of weakly eliminating hyperimaginaries and show that it is equivalent to forking and thorn- forking independence coinciding. Second, we look at the stable forking conjecture, a strong statement asserting that simple unstable theories have an essentially stable “core”, and prove that it holds between elements having SU-rank 2 and finite SU-rank. Third, we consider a property on indiscernible sequences that is known to hold in every stable theory, and show it holds on, at most, a subset of simple theories out of all possible first order theories. CONTENTS ACKNOWLEDGMENTS . iii CHAPTER 0: INTRODUCTION AND BACKGROUND . 1 0.1 Preliminaries . 5 CHAPTER 1: DWIP . 13 1.1 DWIP and the Weak Elimination of Hyperimaginaries . 13 1.2 WEHI and Thorn Forking . 15 1.2.1 Comparison with Ealy’s approach .
    [Show full text]
  • Model Theory – Draft
    Math 225A – Model Theory – Draft Speirs, Martin Autumn 2013 Contents Contents 1 0 General Information 5 1 Lecture 16 1.1 The Category of τ-Structures....................... 6 2 Lecture 2 11 2.1 Logics..................................... 13 2.2 Free and bound variables......................... 14 3 Lecture 3 16 3.1 Diagrams................................... 16 3.2 Canonical Models.............................. 19 4 Lecture 4 22 4.1 Relations defined by atomic formulae.................. 22 4.2 Infinitary languages............................ 22 4.3 Axiomatization............................... 24 The Arithmetical Hierarchy........................ 24 1 Contents 2 5 Lecture 5 25 5.1 Preservation of Formulae......................... 26 6 Lecture 6 31 6.1 Theories and Models............................ 31 6.2 Unnested formulae............................. 34 6.3 Definitional expansions.......................... 36 7 Lecture 7 38 7.1 Definitional expansions continued.................... 38 7.2 Atomisation/Morleyisation........................ 39 8 Lecture 8 42 8.1 Quantifier Elimination........................... 42 8.2 Quantifier Elimination for (N, <) ..................... 42 8.3 Skolem’s theorem.............................. 45 8.4 Skolem functions.............................. 46 9 Lecture 9 47 9.1 Skolemisation................................ 47 9.2 Back-and-Forth and Games........................ 49 9.3 The Ehrenfeucht-Fraïssé game...................... 50 10 Lecture 10 52 10.1 The Unnested Ehrenfeucht-Fraïssé Game................ 52 11 Lecture
    [Show full text]