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

Other Versions

No versions found

Links

PhilArchive



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

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

Omitting types for infinitary [ 0, 1 ] -valued logic.Christopher J. Eagle - 2014 - Annals of Pure and Applied Logic 165 (3):913-932.
An omitting types theorem for saturated structures.A. D. Greif & M. C. Laskowski - 1993 - Annals of Pure and Applied Logic 62 (2):113-118.
Topological Proofs of Some Rasiowa-Sikorski Lemmas.Robert Goldblatt - 2012 - Studia Logica 100 (1-2):175-191.
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.
An Omitting Types Theorem for positive bounded formulas in normed spaces.Carlos Ortiz - 2001 - Annals of Pure and Applied Logic 108 (1-3):279-294.
Compactness in MV-topologies: Tychonoff theorem and Stone–Čech compactification.Luz Victoria De La Pava & Ciro Russo - 2020 - Archive for Mathematical Logic 59 (1-2):57-79.
Independence Results in Algebraic Logic.Tarek Sayed-Ahmed - 2006 - Logic Journal of the IGPL 14 (1):87-96.
Some weak forms of the Baire category theorem.Kyriakos Kermedis - 2003 - Mathematical Logic Quarterly 49 (4):369.
Topological framework for finite injury.Kyriakos Kontostathis - 1992 - Mathematical Logic Quarterly 38 (1):189-195.
On the Uniform Computational Content of the Baire Category Theorem.Vasco Brattka, Matthew Hendtlass & Alexander P. Kreuzer - 2018 - Notre Dame Journal of Formal Logic 59 (4):605-636.

Analytics

Added to PP
2020-10-15

Downloads
34 (#655,943)

6 months
7 (#673,909)

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