Interval chains and completeness in ultrapowers of ordered sets
General Mathematics
2021-09-21 v1
Abstract
The ultrapower of an arbitrary ordered set is introduced as an infinitesimal extension of . It is obtained as the set of equivalence classes of the sequences in , where the corresponding relation is generated by an ultrafilter on the set of natural numbers. It is established that always satisfies Cantor's property, while one can give the necessary and sufficient conditions for so that would be complete or it would fulfill the open completeness property, respectively. Namely, the density of the original set determines the open completeness of the extension, while independently, the completeness of is determined by the cardinality of .
Keywords
Cite
@article{arxiv.2109.09457,
title = {Interval chains and completeness in ultrapowers of ordered sets},
author = {Zoltán Boros and Péter Tóth},
journal= {arXiv preprint arXiv:2109.09457},
year = {2021}
}
Comments
10 pages