Pseudocompactness and the Uniform Metastability Principle in Model Theory

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.