Pseudofinite and pseudocompact metric structures

DOI10.1215/00294527-3132833MaRDI QIDQ498622zbMATH OpenOpenAlexFDO

Authors Isaac Goldbring, Vinicius Cifú Lopes

Publication date 29 September 2015

Published in Notre Dame Journal of Formal Logic (Search for Journal in Brave)

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

zbMATH Keywords

pseudocompactnessmetric structurepseudofiniteness

Mathematics Subject Classification ID

Model theory of finite structures (03C13) Models with special properties (saturated, rigid, etc.) (03C50) Properties of classes of models (03C52) Ultraproducts and related constructions (03C20)

Abstract: We initiate the study of pseudofiniteness in continuous logic. We introduce a related concept, namely that of pseudocompactness, and investigate the relationship between the two concepts. We establish some basic properties of pseudofiniteness and pseudocompactness and provide many examples. We also investigate the injective-surjective phenomenon for definable endofunctions in pseudofinite structures.

Recommendations

• Model theory for metric structures
• scientific article; zbMATH DE number 2208072
• scientific article; zbMATH DE number 5872198
• Pseudofinite structures and simplicity
• Expressive power of infinitary \([0,1]\)-logics

Cited in

(10)

• Continuous theory of operator expansions of finite dimensional Hilbert spaces and decidability
• Pseudofinite structures and simplicity
• Model theory of operator algebras. III: Elementary equivalence and \({\mathrm {II}}_{1}\) factors
• The almost sure theory of finite metric spaces
• Independence in randomizations
• scientific article; zbMATH DE number 2016320 (Why is no real title available?)
• Pseudofinite formulae
• Definable closure in randomizations
• Further criteria for the indecomposability of finite pseudometric spaces
• Infinitesimal Pseudo-Metrics and the Schwarz Lemma

This page was built for publication: Pseudofinite and pseudocompact metric structures

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