Categoricity, External and Internal: An Excerpt from a Conversation with Saharon Shelah

Theoria 87 (4):1001-1012 (2021)
  Copy   BIBTEX

Abstract

A long series of conversations interweaving mathematical, historical and philosophical aspects of categoricity in model theory took place between the author and Saharon Shelah in 2016 and 2017. In this excerpt of that long conversation, we explore the relationship between explicit and implicit aspects of categoricity. We also discuss the connection with definability issues.

Categories

Add categories

Keywords

Reprint years

DOI

10.1111/theo.12262

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 100,516

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

Categoricity in abstract elementary classes with no maximal models.Monica VanDieren - 2006 - Annals of Pure and Applied Logic 141 (1):108-147.
Erratum to “Categoricity in abstract elementary classes with no maximal models” [Ann. Pure Appl. Logic 141 (2006) 108–147].Monica M. VanDieren - 2013 - Annals of Pure and Applied Logic 164 (2):131-133.
Review: Saharon Shelah, Leon Henkin, Categoricity of Uncountable Theories. [REVIEW]Daniel Lascar - 1981 - Journal of Symbolic Logic 46 (4):866-867.
Symmetry in abstract elementary classes with amalgamation.Monica M. VanDieren & Sebastien Vasey - 2017 - Archive for Mathematical Logic 56 (3-4):423-452.
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.
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.
Shelah Saharon. Categoricity of uncountable theories. Proceedings of the Tarski Symposium, An international symposium held to honor Alfred Tarski on the occasion of his seventieth birthday, edited by Henkin Leon et al., Proceedings of symposia in pure mathematics, vol. 25, American Mathematical Society, Providence, R.I., 1974, pp. 187–203. [REVIEW]Daniel Lascar - 1981 - Journal of Symbolic Logic 46 (4):866-867.
On Absoluteness of Categoricity in Abstract Elementary Classes.Sy-David Friedman & Martin Koerwien - 2011 - Notre Dame Journal of Formal Logic 52 (4):395-402.
Completeness and categoricity (in power): Formalization without foundationalism.John T. Baldwin - 2014 - Bulletin of Symbolic Logic 20 (1):39-79.
Review: S. Shelah, Stable Theories; Saharon Shelah, Stability, the F.C.P., and Superstability; Model Theoretic Properties of Formulas in First Order Theory. [REVIEW]John T. Baldwin - 1973 - Journal of Symbolic Logic 38 (4):648-649.

Analytics

Added to PP
2021-02-12

Downloads
29 (#767,834)

6 months
14 (#219,708)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Andrés Villaveces
Universidad Nacional de Colombia

Citations of this work

No citations found.

Add more citations

References found in this work

Mathematical logic.Joseph Robert Shoenfield - 1967 - Reading, Mass.,: Addison-Wesley.

Add more references