On topological properties of ultraproducts of finite sets

Gábor Sági*, Saharon Shelah

*Corresponding author for this work

Research output: Contribution to journalArticlepeer-review

3 Scopus citations

Abstract

In [3] a certain family of topological spaces was introduced on ultraproducts. These spaces have been called ultratopologies and their definition was motivated by model theory of higher order logics. Ultratopologies provide a natural extra topological structure for ultraproducts. Using this extra structure in [3] some preservation and characterization theorems were obtained for higher order logics. The purely topological properties of ultratopologies seem interesting on their own right. We started to study these properties in [2], where some questions remained open. Here we present the solutions of two such problems. More concretely we show 1. that there are sequences of finite sets of pairwise different cardinalities such that in their certain ultraproducts there are homeomorphic ultratopologies and 2. if A is an infinite ultraproduct of finite sets, then every ultratopology on A contains a dense subset D such that |D| < |A|.

Original languageEnglish
Pages (from-to)254-257
Number of pages4
JournalMathematical Logic Quarterly
Volume51
Issue number3
DOIs
StatePublished - 2005

Keywords

  • Dense set
  • Ultraproduct
  • Ultratopology

Fingerprint

Dive into the research topics of 'On topological properties of ultraproducts of finite sets'. Together they form a unique fingerprint.

Cite this