Pseudocompactness and the Uniform Metastability Principle in Model Theory

2020/04/13 by Clovis Hamel, Hamel, Clovis, Franklin D. Tall +1
Computer Science · Mathematics · #Advanced Topology and Set Theory #Computability, Logic, AI Algorithms #FOS: Mathematics #Logic (math.LO) #Mathematical and Theoretical Analysis

paper · pdf · doi:10.48550/arxiv.2004.06206

openalex publication_date 2020/04/13 · openalex created_date 2020/04/24 · openalex updated_date 2026/07/28

Abstract

We prove that uniform metastability is equivalent to all closed subspaces being pseudocompact and use this to provide a topological proof of the metatheorem introduced by Caicedo, Duenez and Iovino on uniform metastability and countable compactness for logics.

Related

• Metastable convergence and logical compactness
• Combinatorial and model-theoretical principles related to regularity of ultrafilters and compactness of topological spaces. IV
• Combinatorial and model-theoretical principles related to regularity of ultrafilters and compactness of topological spaces. II
• Ultraproducts and metastability
• On a theorem by Juhász and Szentmiklóssy