Graduate studies at Western
|Abstract||We present several selection theorems for Borel relations, involving only Borel sets and functions, all of which can be obtained as consequences of closely related theorems proved in [DSR 96,99,01,01X] involving coanalytic sets. The relevant proofs given there use substantial set theoretic methods, which were also shown to be necessary. We show that none of our Borel consequences can be proved without substantial set theoretic methods. The results are established for Baire space. We give equivalents of some of the main results for the reals.|
|Keywords||No keywords specified (fix it)|
No categories specified
(categorize this paper)
|Through your library||Only published papers are available at libraries|
Similar books and articles
Christian Rosendal (2005). Cofinal Families of Borel Equivalence Relations and Quasiorders. Journal of Symbolic Logic 70 (4):1325-1340.
Kenneth Schilling & Boško Živaljević (1997). Louveau's Theorem for the Descriptive Set Theory of Internal Sets. Journal of Symbolic Logic 62 (2):595-607.
Samuel Coskey & Joel David Hamkins (2010). Infinite Time Decidable Equivalence Relation Theory. Notre Dame Journal of Formal Logic 52 (2):203-228.
Joël Combase (2011). A Silver-Like Perfect Set Theorem with an Application to Borel Model Theory. Notre Dame Journal of Formal Logic 52 (4):415-429.
J. Duparc (2001). Wadge Hierarchy and Veblen Hierarchy Part I: Borel Sets of Finite Rank. Journal of Symbolic Logic 66 (1):56-86.
Greg Hjorth (2005). Bi-Borel Reducibility of Essentially Countable Borel Equivalence Relations. Journal of Symbolic Logic 70 (3):979 - 992.
Marek Balcerzak, Andrzej Roslanowski & Saharon Shelah (1998). Ideals Without CCC. Journal of Symbolic Logic 63 (1):128-148.
Theodore Hailperin (2008). Probability Logic and Borel's Denumerable Probability. History and Philosophy of Logic 29 (3):307-307.
Alain Louveau & Jean Saint-Raymond (1990). On the Quasi-Ordering of Borel Linear Orders Under Embeddability. Journal of Symbolic Logic 55 (2):537-560.
Robert S. Wolf (1985). Determinateness of Certain Almost-Borel Games. Journal of Symbolic Logic 50 (3):569-579.
Alain Louveau (1989). Two Results on Borel Orders. Journal of Symbolic Logic 54 (3):865-874.
Douglas Cenzer (1984). Monotone Reducibility and the Family of Infinite Sets. Journal of Symbolic Logic 49 (3):774-782.
Boško Živaljević (1991). U-Meager Sets When the Cofinality and the Coinitiality of U Are Uncountable. Journal of Symbolic Logic 56 (3):906-914.
Added to index2010-12-22
Total downloads2 ( #246,859 of 738,614 )
Recent downloads (6 months)0
How can I increase my downloads?