The Ultrafilter Closure in ZF
نویسندگان
چکیده
منابع مشابه
The Ultrafilter Closure in ZF
It is well known that, in a topological space, the open sets can be characterized using filter convergence. In ZF (Zermelo-Fraenkel set theory without the Axiom of Choice), we cannot replace filters by ultrafilters. It is proven that the ultrafilter convergence determines the open sets for every topological space if and only if the Ultrafilter Theorem holds. More, we can also prove that the Ult...
متن کاملCodensity and the ultrafilter monad
Even a functor without an adjoint induces a monad, namely, its codensity monad; this is subject only to the existence of certain limits. We clarify the sense in which codensity monads act as substitutes for monads induced by adjunctions. We also expand on an undeservedly ignored theorem of Kennison and Gildenhuys: that the codensity monad of the inclusion of (finite sets) into (sets) is the ult...
متن کاملUltrafilter Extensions for Coalgebras
This paper studies finitary modal logics as specification languages for Set-coalgebras (coalgebras on the category of sets) using Stone duality. It is wellknown that Set-coalgebras are not semantically adequate for finitary modal logics in the sense that bisimilarity does not in general coincide with logical equivalence. Stone-coalgebras (coalgebras over the category of Stone spaces), on the ot...
متن کاملUltrafilter Spaces on the Semilattice of Partitions
The Stone-Čech compactification of the natural numbers βω (or equivalently, the space of ultrafilters on the subsets of ω) is a well-studied space with interesting properties. Replacing the subsets of ω by partitions of ω in the construction of the ultrafilter space gives non-homeomorphic spaces of partition ultrafilters corresponding to βω. We develop a general framework for spaces of this typ...
متن کاملThe Ultrafilter Number for Singular Cardinals
We prove the consistency of a singular cardinal λ with small value of the ultrafilter number uλ, and arbitrarily large value of 2 . 2000 Mathematics Subject Classification. 03E05, 03E55.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Mathematical Logic Quarterly
سال: 2010
ISSN: 0942-5616,1521-3870
DOI: 10.1002/malq.200910014