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

metric structurepseudocompactnesspseudofiniteness

Mathematics Subject Classification ID

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

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

(11)

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

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)