arXiv Analytics

Sign in

arXiv:1109.2246 [math.LO]AbstractReferencesReviewsResources

Pseudofinite and pseudocompact metric structures

Isaac Goldbring, Vinicius Cifu Lopes

Published 2011-09-10, updated 2011-10-11Version 2

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.

Comments: Second version. Some typos fixed. Easier proofs in Section 5
Categories: math.LO
Related articles: Most relevant | Search more
arXiv:1505.00118 [math.LO] (Published 2015-05-01)
Expansions of pseudofinite structures and circuit and proof complexity
arXiv:1409.8635 [math.LO] (Published 2014-09-30)
Pseudofinite structures and simplicity
arXiv:2309.00991 [math.LO] (Published 2023-09-02)
Pseudofiniteness and measurability of the everywhere infinite forest

Links

Toolbox