Metastable convergence and logical compactness

DOI10.1201/9780429263637-1MaRDI QIDQ6189087zbMATH OpenOpenAlexFDO

Authors Xavier Caicedo, Eduardo Dueñez, José Iovino

Publication date 12 January 2024

Published in Beyond First Order Model Theory, Volume II (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1907.02398

Mathematics Subject Classification ID

Basic properties of first-order languages and structures (03C07) Other model constructions (03C30) Abstract elementary classes and related topics (03C48) Models with special properties (saturated, rigid, etc.) (03C50) Second- and higher-order model theory (03C85)

Abstract: The concept of metastable convergence was identified by Tao;it allows converting theorems about convergence into stronger theorems about uniform convergence. The Uniform Metastability Principle (UMP) states that if $T$ is a theorem about convergence, then the fact that $T$ is valid implies automatically that its (stronger) uniform version is valid, provided that $T$ can be stated in certain logical frameworks. In this paper we identify precisely the logical frameworks $L$ for which UMP holds. More precisely, we prove that the UMP holds for $L$ if and only if $L$ is a compact logic. We also prove a topological version of this equivalence. We conclude by proving new characterizations of logical compactness that yield additional information about the UMP.

This page was built for publication: Metastable convergence and logical compactness

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6189087)