English

Interval chains and completeness in ultrapowers of ordered sets

General Mathematics 2021-09-21 v1

Abstract

The ultrapower TT^{\ast} of an arbitrary ordered set TT is introduced as an infinitesimal extension of TT. It is obtained as the set of equivalence classes of the sequences in TT, where the corresponding relation is generated by an ultrafilter on the set of natural numbers. It is established that TT^{\ast} always satisfies Cantor's property, while one can give the necessary and sufficient conditions for TT so that TT^{\ast} 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 TT^{\ast} is determined by the cardinality of TT.

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

R2 v1 2026-06-24T06:08:08.875Z