Pseudofinite and pseudocompact metric structures

DOI10.1215/00294527-3132833zbMATH Open1334.03036arXiv1109.2246OpenAlexW3104151496MaRDI QIDQ498622FDOQ498622

Authors: Isaac Goldbring, Vinicius Cifú Lopes 

Publication date: 29 September 2015

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

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.

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

Recommendations

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

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)

Cited In (9)

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

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)