Borel cardinalities below $c_0$
نویسندگان
چکیده
منابع مشابه
Borel Cardinalities below C 0
The Borel cardinality of the quotient of the power set of the natural numbers by the ideal Z0 of asymptotically zero-density sets is shown to be the same as that of the equivalence relation induced by the classical Banach space c0. We also show that a large collection of ideals introduced by Louveau and Veličkovič, with pairwise incomparable Borel cardinality, are all Borel reducible to c0. Thi...
متن کاملComparing Cardinalities of Sets
Students often have motivational difficulty in accepting the definitions of comparing cardinalities of sets. The key to the application of the concepts lies in the so called SchröderBernstein theorem, the proof of which is often avoided due to its difficulty level. In this short article, we discuss the remarkable results around this theorem and finally give a very simple proof. On the way, we a...
متن کاملCollections, Cardinalities, and Relations
Logics that involve collections (sets, multisets), and cardinality constraints are useful for reasoning about unbounded data structures and concurrent processes. To make such logics more useful in verification this paper extends them with the ability to compute direct and inverse relation and function images. We establish decidability and complexity bounds for the extended logics.
متن کاملBorel structures and Borel theories
We show that there is a complete, consistent Borel theory which has no “Borel model” in the following strong sense: There is no structure satisfying the theory for which the elements of the structure are equivalence classes under some Borel equivalence relation and the interpretations of the relations and function symbols are Borel in the natural sense. We also investigate Borel isomorphisms be...
متن کاملMining Cardinalities from Knowledge Bases
Cardinality is an important structural aspect of data that has not received enough attention in the context of RDF knowledge bases (KBs). Information about cardinalities can be useful for data users and knowledge engineers when writing queries, reusing or engineering KBs. Such cardinalities can be declared using OWL and RDF constraint languages as constraints on the usage of properties over ins...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Proceedings of the American Mathematical Society
سال: 2006
ISSN: 0002-9939,1088-6826
DOI: 10.1090/s0002-9939-06-08207-4