Divide and Conquer: Dividing Lines and Universality

Theoria 87 (2):259-348 (2021)
  Copy   BIBTEX

Abstract

We discuss dividing lines (in model theory) and some test questions, mainly the universality spectrum. So there is much on conjectures, problems and old results, mainly of the author and also on some recent results.

Categories

Add categories

Keywords

Reprint years

DOI

10.1111/theo.12289

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 103,302

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

The Dividing Line Methodology: Model Theory Motivating Set Theory.John T. Baldwin - 2021 - Theoria 87 (2):361-393.
Categoricity, External and Internal: An Excerpt from a Conversation with Saharon Shelah.Andrés Villaveces - 2021 - Theoria 87 (4):1001-1012.
On positive local combinatorial dividing-lines in model theory.Vincent Guingona & Cameron Donnay Hill - 2019 - Archive for Mathematical Logic 58 (3-4):289-323.
On some dynamical aspects of NIP theories.Alireza Mofidi - 2018 - Archive for Mathematical Logic 57 (1-2):37-71.
Universality for Orders and Graphs Which Omit Large Substructures.Katherine Thompson - 2006 - Notre Dame Journal of Formal Logic 47 (2):233-248.
Dividing lines in unstable theories and subclasses of Baire 1 functions.Karim Khanaki - 2022 - Archive for Mathematical Logic 61 (7):977-993.
An Overview of Saharon Shelah's Contributions to Mathematical Logic, in Particular to Model Theory.Jouko Väänänen - 2020 - Theoria 87 (2):349-360.
On properties of theories which preclude the existence of universal models.Mirna Džamonja & Saharon Shelah - 2006 - Annals of Pure and Applied Logic 139 (1):280-302.
Models of Bounded Arithmetic Theories and Some Related Complexity Questions.Abolfazl Alam & Morteza Moniri - 2022 - Bulletin of the Section of Logic 51 (2):163-176.
Maryanthe Malliaris and Saharon Shelah, Cofinality spectrum problems in model theory, set theory and general topology. Journal of the American Mathematical Society, vol. 29 , pp. 237–297. - Maryanthe Malliaris and Saharon Shelah, Existence of optimal ultrafilters and the fundamental complexity of simple theories. Advances in Mathematics, vol. 290 , pp. 614–681. - Maryanthe Malliaris and Saharon Shelah, Keisler’s order has infinitely many classes. Israel Journal of Mathematics, to appear, https://math.uchicago.edu/∼mem/. [REVIEW]H. Jerome Keisler - 2017 - Bulletin of Symbolic Logic 23 (1):117-121.

Analytics

Added to PP
2021-04-29

Downloads
24 (#951,749)

6 months
3 (#1,061,821)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Add more citations

References found in this work

Theories without the tree property of the second kind.Artem Chernikov - 2014 - Annals of Pure and Applied Logic 165 (2):695-723.
On model-theoretic tree properties.Artem Chernikov & Nicholas Ramsey - 2016 - Journal of Mathematical Logic 16 (2):1650009.
Generic expansion and Skolemization in NSOP 1 theories.Alex Kruckman & Nicholas Ramsey - 2018 - Annals of Pure and Applied Logic 169 (8):755-774.
Toward classifying unstable theories.Saharon Shelah - 1996 - Annals of Pure and Applied Logic 80 (3):229-255.

View all 56 references / Add more references