CM-triviality and Geometric Elimination of Imaginaries
|
|
- Elvin Crawford
- 5 years ago
- Views:
Transcription
1 CM-triviality and Geometric Elimination of Imaginaries Ikuo Yoneda Department of Mathematics Tokai University 18/7/2007 1
2 1 Introduction Hrushovski gave a counterexample to the Zilber s conjecture on strongly minimal sets by Generic Relational Structures, i.e. relational countable structures constructed by amalgamating relational finite structures. Generic relational structures are usually CM-TRIVIAL. 2
3 To show the CM-triviality of generic structures, we needed two steps. 1st step: Show weak elimination of imaginaries. 2nd step: Working in the real sort, show CM-triviality. 3
4 Following these two steps, I proved CM-triviality of Herwig s weight ω small theory, and Baldwin-Shi s stable generic structures. 4
5 A question comes up : Is there a way to show CM-triviality without showing Weak Elimination of Imaginaries? I find the following answer. 5
6 THE MAIN RESULT In simple theories with elimination of hyperimaginaries, CM-triviality in the real sort (I will define) Geometric elimination of imaginaries + CM-triviality in the original sense, firstly introduced by Hrushovski. 6
7 2 Set-up From now on, let T be a simple theory with elimination of hyperimaginaries and M be a sufficiently saturated model of T. (Hyper-)imaginary elements are equivalence classes of (type-)definable equivalence relations. We work in M eq, the eq-structure, consisting of imaginary elements. 7
8 3 CM-triviality Hrushovski s Definition for CM-triviality T is CM-trivial, if for any a, A, B M eq with acl eq (aa) acl eq (B) = acl eq (A), Cb(stp(a/A)) acl eq (Cb(stp(a/B))). acl eq ( ) denotes algebraic closure in M eq 8
9 Equivalently, for any a, A = acl eq (A), B = acl eq (B) M eq, a B a B. A A acl eq (a,b) We are working in the eq-structure, not in the real sort. 9
10 My Definition for CM-triviality T is CM-trivial in the real sort, if, for any ā, A = acl(a), B = acl(b) M, ā B ā B. A A acl(ā,b) Notice that everything is in the real sort. 10
11 IND/I T has the independence over intersections (IND/I), if, for any ā, A = acl(a), B = acl(b) M ā A B, ā B A ā A B AB. Notice that everything is in the real sort. 11
12 Proposition A CM-triviality in the real sort IND/I. 12
13 The key point of the proof: Assume ā A B, ā B A, A = acl(a), B = acl(b). By ā B AB, acl(ā, B) AB = B follows. So we have B A acl(ā, B) A (acl(ā, B) AB) A B A. By CM-triviality in the real sort, we have ā B. acl(ā,b) A 13
14 Proposition B IND/I GEI. Geometric Elimination of Imaginaries means that for any i M eq, there exists ā M such that i acl eq (ā), ā acl eq (i). 14
15 The proof of IND/I GEI. Fix i= ā E. Take b, c such that b, c = tp(ā/i) and ā, b, c are independent over i. By ā b c, ā c b and IND/I, we have ā b, c. acl( b) acl( c) Let A= acl( b) acl( c). As i dcl eq (ā), we have i acl eq (A). By b i c, we see A acleq (i). 15
16 Under GEI, CM-triviality in the real sort=cm-triviality. Main Theorem CM-triviality in the real sort GEI+CM-triviality. 16
17 Two Remarks (1) Simple generic structures have the following NICE characterization of non-forking; A A B B A A B B = A B = cl M (A B) for any A = acl(a), B = acl(b) M. 17
18 From this, we can check that simple generic structures are CM-trivial in the real sort. Main Theorem directly shows the CM-triviality of simple generic structures. 18
19 (2) CM-triviality in the real sort CM-triviality in the original sense. In [E], D.Evans gave an ω-categorical SU = 1 CM-trivial structure C without WEI interpreted in an ω-categorical SU = 2 generic binary graph. I checked C does not have GEI. 19
20 Remark on IND/I In pregeometric surgical theories, IND/I GEI. In O-minimal case, IND/I EI only holds. 20
21 ENDING : 4 Problems on CM-triviality (1) In stable theories, does CM-triviality imply CM-triviality in the real sort? 21
22 (2) Is any superstable CM-trivial theory ω-stable? This is a generalization of Baldwin s Problem: Is any superstable ω-saturated generic structure ω-stable? 22
23 (3) Recall that n-ampleness is defined in the eq-structures. non-1-amlpleness One-basedness non-2-ampleness CM-triviality non-3-ampleness non-4-ampleness Define non-3-ampleness in the real sort. And does it imply GEI? 23
24 (4) In Zariski geometries, local modularity is equivalent to CM-triviality. In O-minimal theories, is local modularity equivalent to CM-triviality? 24
25 References [E] D.M.Evans, ℵ 0 -categorical structures with a predimension, Annals of Pure and Applied Logic 116 (2002), [G] Jerry Gagelman, Stability in geometric theories, Annals of Pure and Applied Logic 132 (2005),
26 [H] Ehud Hrushovski, A new strongly minimal sets, Annals of Pure and Applied Logic 88 (1993), [Y] Ikuo Yoneda, Forking and some eliminations of imaginaries, submitted, October
Reducts of Stable, CM-trivial Theories
Reducts of Stable, CM-trivial Theories Herwig Nübling 27th July 2004 Abstract We show that every reduct of a stable, CM-trivial theory of finite Lascar rank is CM-trivial. AMS classification: 03C45 Keywords:
More informationarxiv: v2 [math.lo] 3 Nov 2011
ON OMEGA-CATEGORICAL SIMPLE THEORIES arxiv:1102.3631v2 [math.lo] 3 Nov 2011 DANIEL PALACÍN Abstract. In the present paper we shall prove that countable ω-categorical simple CM-trivial theories and countable
More informationOn the forking topology of a reduct of a simple theory
arxiv:1812.06351v1 [math.lo] 15 Dec 2018 On the forking topology of a reduct of a simple theory Ziv Shami Ariel University December 18, 2018 Abstract Let T be a simple theory and T is a reduct of T. For
More informationThe nite submodel property and ω-categorical expansions of pregeometries
The nite submodel property and ω-categorical expansions of pregeometries Marko Djordjevi bstract We prove, by a probabilistic argument, that a class of ω-categorical structures, on which algebraic closure
More informationFrank O Wagner Institut Camille Jordan Université Claude Bernard Lyon 1 France. 9 May 2013
Onebasedness Frank O Wagner Institut Camille Jordan Université Claude Bernard Lyon 1 France 9 May 2013 Plan Onebasedness 1 2 3 One-basedness 4 5 6 7 Onebasedness Often, structures can be seen as expansions
More informationSimple homogeneous structures
Department of Mathematics Uppsala University Logic Colloquium, 3-8 August 2015, Helsinki Introduction Homogeneous structures have interesting properties from a model theoretic point of view. They also
More informationHrushovski s Amalgamation Construction
Amalgamation Frank O Wagner Institut Camille Jordan Université Claude Bernard France 1 August Plan 1 2 3 In 1986, Ehud Hrushovski modified construction of a universial homogeneous countable relational
More informationAn exposition of Hrushovski s New Strongly Minimal Set
An exposition of Hrushovski s New Strongly Minimal Set Martin Ziegler Barcelona, July 2011 In [5] E. Hrushovski proved the following theorem: Theorem 0.1 (Hrushovski s New Strongly Minimal Set). There
More informationCurriculum Vitae Ziv Shami
Curriculum Vitae Ziv Shami Address: Dept. of Mathematics and Computer Science Ariel University Samaria, Ariel 44873 Israel. Phone: 0528-413477 Email: zivshami@gmail.com Army Service: November 1984 to June
More informationINTRODUCTION TO GEOMETRIC STABILITY
INTRODUCTION TO GEOMETRIC STABILITY ARTEM CHERNIKOV Lecture notes for the IMS Graduate Summer School in Logic, National University of Singapore, Jun 2017. The material is based on a number of sources including:
More informationFoundations. September 4, Foundations. A Model Theoretic Perspective. John T. Baldwin. sociology. Thesis I. Thesis II. A Concept Analysis
September 4, 2009 Outline 1 2 3 4 A Data point for PBPL Practice based philosophy of logic Are model theorists logicians? They do not analyze methods of reasoning. A Data point for PBPL Practice based
More informationZariski Geometries, Lecture 1
Zariski Geometries, Lecture 1 Masanori Itai Dept of Math Sci, Tokai University, Japan August 30, 2011 at Kobe university References HZ96 Ehud Hrushovski, Boris Zilber, Zariski geometries, J of the AMS,
More informationHrushovski s Fusion. A. Baudisch, A. Martin-Pizarro, M. Ziegler March 4, 2007
Hrushovski s Fusion A. Baudisch, A. Martin-Pizarro, M. Ziegler March 4, 2007 Abstract We present a detailed and simplified exposition of Hrushovki s fusion of two strongly minimal theories. 1 Introduction
More informationStability Theory and its Variants
Model Theory, Algebra, and Geometry MSRI Publications Volume 39, 2000 Stability Theory and its Variants BRADD HART Abstract. Dimension theory plays a crucial technical role in stability theory and its
More informationFifty Years in the Model Theory of Differential Fields. ASL Winter Meeting 2019 JMM Baltimore
Fifty Years in the Model Theory of Differential Fields ASL Winter Meeting 2019 JMM Baltimore David Marker Mathematics, Statistics, and Computer Science University of Illinois at Chicago January 20, 2019
More informationWhat is... Fraissé construction?
What is... Fraissé construction? Artem Chernikov Humboldt Universität zu Berlin / Berlin Mathematical School What is... seminar at FU Berlin, 30 January 2009 Let M be some countable structure in a fixed
More informationLecture notes on strongly minimal sets (and fields) with a generic automorphism
Lecture notes on strongly minimal sets (and fields) with a generic automorphism Anand Pillay October 5, 2005 1 Introduction These lecture notes develop the theory of strongly minimal sets with a generic
More informationA New Spectrum of Recursive Models Using An Amalgamation Construction
A New Spectrum of Recursive Models Using An Amalgamation Construction Uri Andrews September 1, 2010 Abstract We employ an infinite-signature Hrushovski amalgamation construction to yield two results in
More informationAround the Canonical Base property
Zoé Chatzidakis 1/ 24 Around the Canonical Base property Zoé Chatzidakis CNRS (UMR 7586) - Université Paris 7 10 June 2013 Model Theory 2013 Ravello partially supported by ANR-06-BLAN-0183 Zoé Chatzidakis
More informationINDEPENDENCE RELATIONS IN RANDOMIZATIONS
INDEPENDENE RELATIONS IN RANDOMIZATIONS URI ANDREWS, ISAA GOLDBRING, AND H. JEROME KEISLER Abstract. The randomization of a complete first order theory T is the complete continuous theory T R with two
More informationOn The Classification of Geometries of Strongly Minim. Minimal Structures
On The Classification of Geometries of Strongly Minimal Structures BPGMT 2013 Definition - Strongly Minimal In this talk, when we say a set is definable in a model M, we mean it is definable in the language
More informationNon-Elementary Classes 2007
October 7, 2007 Two Directions 1 2 Acknowledgements I will interpret or misinterpret the works of many people with only vague and non-uniform specific acknowledgments. The end or the beginning? Shelah
More informationStable embeddedness and N IP
Stable embeddedness and N IP Anand Pillay University of Leeds January 14, 2010 Abstract We give some sufficient conditions for a predicate P in a complete theory T to be stably embedded. Let P be P with
More informationModel Theory of Differential Fields
Model Theory, Algebra, and Geometry MSRI Publications Volume 39, 2000 Model Theory of Differential Fields DAVID MARKER Abstract. This article surveys the model theory of differentially closed fields, an
More informationarxiv: v3 [math.lo] 1 Oct 2014
ON SETS WITH RANK ONE IN SIMPLE HOMOGENEOUS STRUCTURES OVE AHLMAN AND VERA KOPONEN arxiv:1403.3079v3 [math.lo] 1 Oct 2014 Abstract. We study definable sets D of SU-rank 1 in M eq, where M is a countable
More informationDisjoint n-amalgamation
October 13, 2015 Varieties of background theme: the role of infinitary logic Goals 1 study n- toward 1 existence/ of atomic models in uncountable cardinals. 2 0-1-laws 2 History, aec, and Neo-stability
More informationMorley s Proof. Winnipeg June 3, 2007
Modern Model Theory Begins Theorem (Morley 1965) If a countable first order theory is categorical in one uncountable cardinal it is categorical in all uncountable cardinals. Outline 1 2 3 SELF-CONSCIOUS
More informationForking and Dividing in Random Graphs
Forking and Dividing in Random Graphs Gabriel Conant UIC Graduate Student Conference in Logic University of Notre Dame April 28-29, 2012 Gabriel Conant (UIC) Forking and Dividing in Random Graphs April
More informationGroups in stable and simple theories
Groups in stable and simple theories Dugald Macpherson, School of Mathematics, University of Leeds, Leeds LS2 9JT,UK April 7, 2010 These are sketch notes for my lecture on the MALOA Introductory Day of
More informationStrict orders prohibit elimination of hyperimaginaries
Strict orders prohibit elimination of hyperimaginaries Hans Adler Leeds University 3 November 2008 Part I A non-eliminable infinitary hyperimaginary Imaginaries Imaginaries: ā/e where ā is a (finite) tuple
More informationThe Mordell-Lang Theorem from the Zilber Dichotomy
The Mordell-Lang Theorem from the Zilber Dichotomy by Christopher Eagle A thesis presented to the University of Waterloo in fulfillment of the thesis requirement for the degree of Master of Mathematics
More informationThree notions of geometry
Three notions of geometry John T. Baldwin University of Illinois at Chicago April 15, 2018 John T. Baldwin University of Illinois at Chicago Three notions of geometry April 15, 2018 1 / 36 Three Themes
More informationAmalgamation and the finite model property
Amalgamation and the finite model property Alex Kruckman University of California, Berkeley March 25, 2015 Alex Kruckman (UC Berkeley) Amalgamation and the FMP March 25, 2015 1 / 16 The motivating phenomenon
More informationGEOMETRIC STRUCTURES WITH A DENSE INDEPENDENT SUBSET
GEOMETRIC STRUCTURES WITH A DENSE INDEPENDENT SUBSET ALEXANDER BERENSTEIN AND EVGUENI VASSILIEV Abstract. We generalize the work of [13] on expansions of o-minimal structures with dense independent subsets,
More informationAutomorphism Groups of Homogeneous Structures
Automorphism Groups of Homogeneous Structures Andrés Villaveces - Universidad Nacional de Colombia - Bogotá Arctic Set Theory Workshop 3 - Kilpisjärvi - January 2017 Contents Reconstructing models The
More informationThe rise and fall of uncountable models
Chris Laskowski University of Maryland 2 nd Vaught s conjecture conference UC-Berkeley 2 June, 2015 Recall: Every counterexample Φ to Vaught s Conjecture is scattered. Recall: Every counterexample Φ to
More informationModel Theory of the Exponentiation: Abstract
Model Theory of the Exponentiation: Abstract Marcos Mazari Armida Thesis Advisors: Dr. Timothy Gendron and Dr. Thomas Scanlon * 17 de mayo de 2017 In the following document we present an abstract in english
More informationTopics in relational Hrushovski constructions - Fall
Topics in relational Hrushovski constructions - Fall 2018-2019 Omer Mermelstein UW-Madison Fall 2018 1 Notation Denote by P(X) the set of subsets of X and by Fin(X) the set of finite subsets of X. Write
More informationAN INTRODUCTION TO GEOMETRIC STABILITY THEORY
AN INTRODUCTION TO GEOMETRIC STABILITY THEORY SALMAN SIDDIQI Abstract. In this paper, we will introduce some of the most basic concepts in geometric stability theory, and attempt to state a dichotomy theorem
More informationCompact complex manifolds with the DOP and other properties.
Compact complex manifolds with the DOP and other properties. Anand Pillay Dept. Mathematics Univ. Illinois at Urbana-Champaign Thomas Scanlon Dept. Mathematics University of California at Berkeley July
More informationA Vaught s conjecture toolbox
Chris Laskowski University of Maryland 2 nd Vaught s conjecture conference UC-Berkeley 1 June, 2015 Everything begins with the work of Robert Vaught. Everything begins with the work of Robert Vaught. Fix
More informationQualifying Exam Logic August 2005
Instructions: Qualifying Exam Logic August 2005 If you signed up for Computability Theory, do two E and two C problems. If you signed up for Model Theory, do two E and two M problems. If you signed up
More informationAlgebraic closure in continuous logic
Revista Colombiana de Matemáticas Volumen 41 (2007), páginas 279 285 Algebraic closure in continuous logic C. Ward Henson Hernando Tellez University of Illinois, Urbana-Champaign, USA Abstract. We study
More informationStable embeddedness and N IP
Stable embeddedness and N IP arxiv:1001.0515v1 [math.lo] 4 Jan 2010 Anand Pillay University of Leeds January 4, 2010 Abstract We give some sufficient conditions for a predicate P in a complete theory T
More informationWhat is the right type-space? Humboldt University. July 5, John T. Baldwin. Which Stone Space? July 5, Tameness.
Goals The fundamental notion of a Stone space is delicate for infinitary logic. I will describe several possibilities. There will be a quiz. Infinitary Logic and Omitting Types Key Insight (Chang, Lopez-Escobar)
More informationarxiv:math.lo/ v1 28 Nov 2004
HILBERT SPACES WITH GENERIC GROUPS OF AUTOMORPHISMS arxiv:math.lo/0411625 v1 28 Nov 2004 ALEXANDER BERENSTEIN Abstract. Let G be a countable group. We proof that there is a model companion for the approximate
More informationAx-Schanuel type theorems and geometry of strongly minimal sets in differentially closed fields
Ax-Schanuel type theorems and geometry of strongly minimal sets in differentially closed fields Vahagn Aslanyan October 19, 2017 Abstract Let (K; +,,, 0, 1) be a differentially closed field. In this paper
More informationINTERPRETING HASSON S EXAMPLE
INTERPRETING HASSON S EXAMPLE CHARLES K. SMART Abstract. We generalize Ziegler s fusion result [8] by relaxing the definability of degree requirement. As an application, we show that an example proposed
More informationClassifying classes of structures in model theory
Classifying classes of structures in model theory Saharon Shelah The Hebrew University of Jerusalem, Israel, and Rutgers University, NJ, USA ECM 2012 Saharon Shelah (HUJI and Rutgers) Classifying classes
More informationOn function field Mordell-Lang: the semiabelian case and the socle theorem
arxiv:1702.02635v2 [math.ag] 1 Aug 2017 On function field Mordell-Lang: the semiabelian case and the socle theorem Franck Benoist Elisabeth Bouscaren Anand Pillay July 14, 2018 Abstract In this paper we
More informationMeasures in model theory
Measures in model theory Anand Pillay University of Leeds Logic and Set Theory, Chennai, August 2010 Introduction I I will discuss the growing use and role of measures in pure model theory, with an emphasis
More informationIndependence in tame abstract elementary classes
Independence in tame abstract elementary classes Sebastien Vasey Carnegie Mellon University January 11, 2015 Joint Mathematics Meeting AMS-ASL Special Session on Beyond First-Order Model Theory San Antonio,
More informationDoes set theoretic pluralism entail model theoretic pluralism? II. Categoricity: in what logic? Aberdeen
Does set theoretic pluralism entail model theoretic pluralism? II. Categoricity: in what logic? Aberdeen John T. Baldwin University of Illinois at Chicago July 13, 2016 John T. Baldwin University of Illinois
More informationDependent Fields have no Artin-Schreier Extensions
have no Artin-Schreier Extensions La Roche-en-Ardenne Itay Kaplan Joint work with Thomas Scanlon Hebrew University of Jerusalem and Université Claude Bernard Lyon 1 21 April 2008 In [5], Macintyre showed
More informationMODEL THEORY OF GROUPS (MATH 223M, UCLA, SPRING 2018)
MODEL THEORY OF GROUPS (MATH 223M, UCLA, SPRING 2018) ARTEM CHERNIKOV Lecture notes in progress. All comments and corrections are very welcome. Last update: May 21, 2018 Contents 1. Introduction 1 1.1.
More informationAMS regional meeting Bloomington, IN April 1, 2017
Joint work with: W. Boney, S. Friedman, C. Laskowski, M. Koerwien, S. Shelah, I. Souldatos University of Illinois at Chicago AMS regional meeting Bloomington, IN April 1, 2017 Cantor s Middle Attic Uncountable
More informationtp(c/a) tp(c/ab) T h(m M ) is assumed in the background.
Model Theory II. 80824 22.10.2006-22.01-2007 (not: 17.12) Time: The first meeting will be on SUNDAY, OCT. 22, 10-12, room 209. We will try to make this time change permanent. Please write ehud@math.huji.ac.il
More informationHOMOLOGY GROUPS OF TYPES IN STABLE THEORIES AND THE HUREWICZ CORRESPONDENCE
HOMOLOGY GROUPS OF TYPES IN STABLE THEORIES AND THE HUREWICZ CORRESPONDENCE JOHN GOODRICK, BYUNGHAN KIM, AND ALEXEI KOLESNIKOV Abstract. We give an explicit description of the homology group H n (p) of
More informationApplications of model theory in extremal graph combinatorics
Applications of model theory in extremal graph combinatorics Artem Chernikov (IMJ-PRG, UCLA) Logic Colloquium Helsinki, August 4, 2015 Szemerédi regularity lemma Theorem [E. Szemerédi, 1975] Every large
More informationExponential and Weierstrass equations
Exponential and Weierstrass equations Jonathan Kirby 8th April 2005 1 Complex functions Exponentiation is a group homomorphism C exp C. For each elliptic curve E there is a -function which gives a group
More informationTHE LASCAR GROUP, AND THE STRONG TYPES OF HYPERIMAGINARIES
THE LASCAR GROUP, AND THE STRONG TYPES OF HYPERIMAGINARIES BYUNGHAN KIM Abstract. This is an expository note on the Lascar group. We also study the Lascar group over hyperimaginaries, and make some new
More informationarxiv: v2 [math.gr] 14 May 2012
Ampleness in the free group A. Ould Houcine and K. Tent arxiv:1205.0929v2 [math.gr] 14 May 2012 May 15, 2012 Abstract We show that the theory of the free group and more generally the theory of any torsionfree
More informationALGEBRAIC INDEPENDENCE RELATIONS IN RANDOMIZATIONS
ALGEBRAIC INDEPENDENCE RELATIONS IN RANDOMIZATIONS URI ANDREWS, ISAAC GOLDBRING, AND H. JEROME KEISLER Abstract. We study the properties of algebraic independence and pointwise algebraic independence in
More informationModel theory, stability, applications
Model theory, stability, applications Anand Pillay University of Leeds June 6, 2013 Logic I Modern mathematical logic developed at the end of the 19th and beginning of 20th centuries with the so-called
More informationON SATURATION AND THE MODEL THEORY OF COMPACT KÄHLER MANIFOLDS
ON SATURATION AND THE MODEL THEORY OF COMPACT KÄHLER MANIFOLDS RAHIM MOOSA Abstract. A hypothesis is introduced under which a compact complex analytic space, X, viewed as a structure in the language of
More informationComputability theory and uncountable structures
Sets and Computations, April 17 2015 Joint with Greg Igusa, Julia Knight and Antonio Montalbán Table of Contents 1 Generically presentable structures 2 3 1 Generically presentable structures 2 3 What phenomena
More informationThe Vaught Conjecture Do uncountable models count?
The Vaught Conjecture Do uncountable models count? John T. Baldwin Department of Mathematics, Statistics and Computer Science University of Illinois at Chicago May 22, 2005 1 Is the Vaught Conjecture model
More informationModel Theory and Forking Independence
Model Theory and Forking Independence Gabriel Conant UIC UIC Graduate Student Colloquium April 22, 2013 Gabriel Conant (UIC) Model Theory and Forking Independence April 22, 2013 1 / 24 Types We fix a first
More informationPregeometries and minimal types
Pregeometries and minimal types Enrique Casanovas Universidad de Barcelona May 9, 2006. Revised November 11, 2008 1 Pregeometries Definition 1.1 Let Ω be a set (more generally, a class) and let cl be a
More informationIntroduction to Model Theory
Introduction to Model Theory Jouko Väänänen 1,2 1 Department of Mathematics and Statistics, University of Helsinki 2 Institute for Logic, Language and Computation, University of Amsterdam Beijing, June
More informationGraphs, matroids and the Hrushovski constructions
Graphs, matroids and the Hrushovski constructions David Evans, School of Mathematics, UEA, Norwich, UK Algebra, Combinatorics and Model Theory, Koç University, Istanbul August 2011. ACMT () August 2011
More informationSOME QUESTIONS CONCERNING HRUSHOVSKI S AMALGAMATION CONSTRUCTIONS
SOME QUESTIONS CONCERNING HRUSHOVSKI S AMALGAMATION CONSTRUCTIONS ASSAF HASSON 1. Introduction In his book on stable groups [Poi87] Poizat writes (with respect to our 1987 understanding of ω-stable fields):
More informationSome model theory of the free group
Some model theory of the free group Université Lyon 1 July 4, 2017 1 2 3 s - Algebra A group F is free, if it has the universal property (over a subset S F) for the class of groups. Universal property:
More informationA Hanf number for saturation and omission: the superstable case
A Hanf number for saturation and omission: the superstable case John T. Baldwin University of Illinois at Chicago Saharon Shelah The Hebrew University of Jerusalem Rutgers University April 29, 2013 Abstract
More informationVC-dimension in model theory and other subjects
VC-dimension in model theory and other subjects Artem Chernikov (Paris 7 / MSRI, Berkeley) UCLA, 2 May 2014 VC-dimension Let F be a family of subsets of a set X. VC-dimension Let F be a family of subsets
More informationSOME PROJECTIVE PLANES OF LENZ-BARLOTTI CLASS I
PROCEEDINGS of the AMERICAN MATHEMATICAL SOCIETY Volume 123, Number 1, January 1995 SOME PROJECTIVE PLANES OF LENZ-BARLOTTI CLASS I JOHN T. BALDWIN (Communicated by Andreas R. Blass) Abstract. We construct
More informationGENERALIZED AMALGAMATION IN SIMPLE THEORIES AND CHARACTERIZATION OF DEPENDENCE IN NON-ELEMENTARY CLASSES
GENERALIZED AMALGAMATION IN SIMPLE THEORIES AND CHARACTERIZATION OF DEPENDENCE IN NON-ELEMENTARY CLASSES By Alexei Kolesnikov Submitted in partial fulfillment of the requirements for the degree of Doctor
More informationStrong theories, burden, and weight
Strong theories, burden, and weight Hans Adler 13th March 2007 Abstract We introduce the notion of the burden of a partial type in a complete first-order theory and call a theory strong if all types have
More informationAmalgamation functors and homology groups in model theory
Amalgamation functors and homology groups in model theory John Goodrick, Byunghan Kim, and Alexei Kolesnikov Abstract. We introduce the concept of an amenable class of functors and define homology groups
More informationTHE DEGREES OF CATEGORICAL THEORIES WITH RECURSIVE MODELS
PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 00, Number 0, Pages 000 000 S 0002-9939(XX)0000-0 THE DEGREES OF CATEGORICAL THEORIES WITH RECURSIVE MODELS URI ANDREWS (Communicated by Julia Knight)
More informationarxiv: v1 [math.lo] 6 Mar 2013
Forking and JSJ decompositions in the free group Chloé Perin and Rizos Sklinos arxiv:1303.1378v1 [math.lo] 6 Mar 2013 Abstract We give a description of the model theoretic relation of forking independence
More informationWeight and measure in NIP theories
Weight and measure in NIP theories Anand Pillay University of Leeds September 18, 2011 Abstract We initiate an account of Shelah s notion of strong dependence in terms of generically stable measures, proving
More informationTHE METAMATHEMATICS OF RANDOM GRAPHS
THE METAMATHEMATICS OF RANDOM GRAPHS John T. Baldwin Department of Mathematics, Statistics and Computer Science University of Illinois at Chicago Abstract We explain and summarize the use of logic to provide
More informationTame definable topological dynamics
Tame definable topological dynamics Artem Chernikov (Paris 7) Géométrie et Théorie des Modèles, 4 Oct 2013, ENS, Paris Joint work with Pierre Simon, continues previous work with Anand Pillay and Pierre
More informationMarch 3, The large and small in model theory: What are the amalgamation spectra of. infinitary classes? John T. Baldwin
large and large and March 3, 2015 Characterizing cardinals by L ω1,ω large and L ω1,ω satisfies downward Lowenheim Skolem to ℵ 0 for sentences. It does not satisfy upward Lowenheim Skolem. Definition sentence
More informationDoes set theoretic pluralism entail model theoretic pluralism? III. The entanglement of infinitary logic and set theory Aberdeen
Does set theoretic pluralism entail model theoretic pluralism? III. The entanglement of infinitary logic and set theory Aberdeen John T. Baldwin 1 University of Illinois at Chicago July 14, 2016 1 Thanks
More informationIntroduction. Itaï Ben-Yaacov C. Ward Henson. September American Institute of Mathematics Workshop. Continuous logic Continuous model theory
Itaï Ben-Yaacov C. Ward Henson American Institute of Mathematics Workshop September 2006 Outline Continuous logic 1 Continuous logic 2 The metric on S n (T ) Origins Continuous logic Many classes of (complete)
More informationClassification of definable groupoids and Zariski geometries
and Zariski geometries Dmitry Sustretov Ben Gurion University sustreto@mathbguacil February 26, 2014 1 Motivation: Azumaya algebras An Azumaya algebra is a generalisation of a central simple algebra for
More informationω-stable Theories: Introduction
ω-stable Theories: Introduction 1 ω - Stable/Totally Transcendental Theories Throughout let T be a complete theory in a countable language L having infinite models. For an L-structure M and A M let Sn
More informationarxiv:math/ v1 [math.ag] 1 Apr 1993
APPEARED IN BULLETIN OF THE AMERICAN MATHEMATICAL SOCIETY Volume 28, Number 2, April 1993, Pages 315-323 ZARISKI GEOMETRIES arxiv:math/9304212v1 [math.ag] 1 Apr 1993 Ehud Hrushovski and Boris Zilber Abstract.
More informationProperly ergodic random structures
Properly ergodic random structures Alex Kruckman University of California, Berkeley June 11, 2015 Alex Kruckman (UC Berkeley) Properly ergodic random structures June 11, 2015 1 / 14 Properly ergodic random
More informationExpansions of 1-dimensional algebraic groups by a predicate for a subgroup
Expansions of 1-dimensional algebraic groups by a predicate for a subgroup Juan Diego Caycedo Casallas Merton College University of Oxford A thesis submitted for the degree of Doctor of Philosophy Michaelmas
More informationSUPERSTABILITY IN ABSTRACT ELEMENTARY CLASSES
SUPERSTABILITY IN ABSTRACT ELEMENTARY CLASSES RAMI GROSSBERG AND SEBASTIEN VASEY Abstract. We prove that several definitions of superstability in abstract elementary classes (AECs) are equivalent under
More informationOctober 12, Complexity and Absoluteness in L ω1,ω. John T. Baldwin. Measuring complexity. Complexity of. concepts. to first order.
October 12, 2010 Sacks Dicta... the central notions of model theory are absolute absoluteness, unlike cardinality, is a logical concept. That is why model theory does not founder on that rock of undecidability,
More informationThe number of countable models
The number of countable models Enrique Casanovas March 11, 2012 1 Small theories Definition 1.1 T is small if for all n < ω, S n ( ) ω. Remark 1.2 If T is small, then there is a countable L 0 L such that
More informationNon-algebraic Zariski geometries
Non-algebraic Zariski geometries Dmitry Sustretov Merton College University of Oxford A thesis submitted for the degree of Doctor of Philosophy Trinity 2012 Abstract The thesis deals with definability
More informationLocal Homogeneity. June 17, 2004
Local Homogeneity Bektur Baizhanov Institute for Informatics and Control Almaty, Kazakhstan John T. Baldwin Department of Mathematics, Statistics and Computer Science University of Illinois at Chicago
More informationThe Vaught Conjecture Do uncountable models count?
The Vaught Conjecture Do uncountable models count? John T. Baldwin Department of Mathematics, Statistics and Computer Science University of Illinois at Chicago February 8, 2006 Abstract We give a model
More informationLECTURE NOTES ON FORKING
LECTURE NOTES ON FORKING ARTEM CHERNIKOV Part 1. Preliminaries, model-theoretic notions of smallness, preindependence relations 1. Lecture 1 1.1. Types. Most of the time we fix a complete countable first-order
More information