Pseudocompactness and the Uniform Metastability Principle in Model Theory
Logic
2020-04-15 v1
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.
Keywords
Cite
@article{arxiv.2004.06206,
title = {Pseudocompactness and the Uniform Metastability Principle in Model Theory},
author = {Clovis Hamel and Franklin D. Tall},
journal= {arXiv preprint arXiv:2004.06206},
year = {2020}
}