Two applications of topology to model theory

, &
Annals of Pure and Applied Logic 172 (5):102907 (2021)
  Copy   BIBTEX

Abstract

By utilizing the topological concept of pseudocompactness, we simplify and improve a proof of Caicedo, Dueñez, and Iovino concerning Terence Tao's metastability. We also pinpoint the exact relationship between the Omitting Types Theorem and the Baire Category Theorem by developing a machine that turns topological spaces into abstract logics.

Categories

Keywords

Reprint years

DOI

10.1016/j.apal.2020.102907

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,349

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

Branching for general relativists.Tomasz Placek - unknown
Non-deterministic inductive definitions.Benno van den Berg - 2013 - Archive for Mathematical Logic 52 (1-2):113-135.
Saturated model theory.Gerald E. Sacks - 1972 - Reading, Mass.,: W. A. Benjamin.
Applications of the Theory of Boolean Rings to General Topology.M. H. Stone - 1939 - Journal of Symbolic Logic 4 (2):88-89.
Parts, Wholes, and Part-Whole Relations: The Prospects of Mereotopology.Achille C. Varzi - 1996 - Data and Knowledge Engineering 20:259–286.
Poincaré’s stated motivations for topology.Lizhen Ji & Chang Wang - 2020 - Archive for History of Exact Sciences 74 (4):381-400.
Laver’s results and low-dimensional topology.Patrick Dehornoy - 2016 - Archive for Mathematical Logic 55 (1-2):49-83.
Similarity, Topology, and Physical Significance in Relativity Theory.Samuel C. Fletcher - 2016 - British Journal for the Philosophy of Science 67 (2):365-389.
Philosophy and Model Theory.Tim Button & Sean P. Walsh - 2018 - Oxford, UK: Oxford University Press. Edited by Sean Walsh & Wilfrid Hodges.
Cultural Topology: The Seven Bridges of Königsburg, 1736.Rob Shields - 2012 - Theory, Culture and Society 29 (4-5):43-57.
Stone M. H.. Applications of the theory of Boolean rings to general topology. Transactions of the American Mathematical Society, vol. 41 . pp. 375–481. [REVIEW]Saunders MacLane - 1939 - Journal of Symbolic Logic 4 (2):88-89.
Kognitionsforskningens topologiske grundlag.Barry Smith - 2003 - Semikolon 3 (7):91-105.
On Applications of Transfer Principles in Model Theory.Juliette Kennedy & Jouko Vaananen - 2007 - In Alessandro Andretta (ed.), On Applications of Transfer Principles in Model Theory. Quaderni di Matematica.
Historical development of Teichmüller theory.Athanase Papadopoulos & Lizhen Ji - 2013 - Archive for History of Exact Sciences 67 (2):119-147.
Unity, Identity, and Topology: How to Make Donuts and Cut Things in Half.A. J. Cotnoir - 2019 - In Can Başkent & Thomas Macaulay Ferguson (eds.), Graham Priest on Dialetheism and Paraconsistency. Cham, Switzerland: Springer Verlag. pp. 217-229.

Analytics

Added to PP
2020-10-15

Downloads
25 (#614,662)

6 months
11 (#226,803)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

On duality and model theory for polyadic spaces.Sam van Gool & Jérémie Marquès - 2024 - Annals of Pure and Applied Logic 175 (2):103388.

Add more citations

References found in this work

Uncountable Dense Categoricity in Cats.Itay Ben-Yaacov - 2005 - Journal of Symbolic Logic 70 (3):829 - 860.
Omitting uncountable types and the strength of [0,1]-valued logics.Xavier Caicedo & José N. Iovino - 2014 - Annals of Pure and Applied Logic 165 (6):1169-1200.
Omitting types in logic of metric structures.Ilijas Farah & Menachem Magidor - 2018 - Journal of Mathematical Logic 18 (2):1850006.
Between Polish and completely Baire.Andrea Medini & Lyubomyr Zdomskyy - 2015 - Archive for Mathematical Logic 54 (1-2):231-245.

View all 6 references / Add more references