𝔖 Bobbio Scriptorium
✦   LIBER   ✦

On topological properties of ultraproducts of finite sets

✍ Scribed by Gábor Sági; Saharon Shelah

Publisher
John Wiley and Sons
Year
2005
Tongue
English
Weight
100 KB
Volume
51
Category
Article
ISSN
0044-3050

No coin nor oath required. For personal study only.

✦ Synopsis

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|.

📜 SIMILAR VOLUMES

On the Recursivity of Finite Sets
On the Recursivity of Finite Sets
✍ Ronald Harrop 📂 Article 📅 1961 🏛 John Wiley and Sons 🌐 English ⚖ 346 KB 👁 1 views

ON THE mcuitsrvm-OF FINITE SISTS by ROSALD ITARRW in Newcastle upon Tync (England) $j 1 lritrodiiclion In this paprr n n nsgcct, is discussed of tlic relationship between rccursivity aiid intuitive dccitlalilit~~ hi the case of fiiiitc sets, which, altliougli rcfcrred to elsewhere in the literatuw (

Topological Size of Sets of Partial Recu
Topological Size of Sets of Partial Recursive Functions
✍ Cristian Calude 📂 Article 📅 1982 🏛 John Wiley and Sons 🌐 English ⚖ 478 KB 👁 1 views

TOPOLOGICAL SIZE OF SETS O F PARTIAL RECURSIVE FUNCTIONS by CRISTIAN CALUDE in Bucharest (Romania) l) 1) I wish to thank Prof. G. WECHSUNG for helpful comments on this work.