Borel Liftings of Borel Sets: Some Decidable and Undecidable Statements

Borel Liftings of Borel Sets: Some Decidable and Undecidable Statements
Author :
Publisher : American Mathematical Soc.
Total Pages : 134
Release :
ISBN-10 : 9780821839713
ISBN-13 : 0821839713
Rating : 4/5 (713 Downloads)

Book Synopsis Borel Liftings of Borel Sets: Some Decidable and Undecidable Statements by : Gabriel Debs

Download or read book Borel Liftings of Borel Sets: Some Decidable and Undecidable Statements written by Gabriel Debs and published by American Mathematical Soc.. This book was released on 2007 with total page 134 pages. Available in PDF, EPUB and Kindle. Book excerpt: One of the aims of this work is to investigate some natural properties of Borel sets which are undecidable in $ZFC$. The authors' starting point is the following elementary, though non-trivial result: Consider $X \subset 2omega\times2omega$, set $Y=\pi(X)$, where $\pi$ denotes the canonical projection of $2omega\times2omega$ onto the first factor, and suppose that $(\star)$: Any compact subset of $Y$ is the projection of some compact subset of $X$. If moreover $X$ is $\mathbf{\Pi 0 2$ then $(\star\star)$: The restriction of $\pi$ to some relatively closed subset of $X$ is perfect onto $Y$ it follows that in the present case $Y$ is also $\mathbf{\Pi 0 2$. Notice that the reverse implication $(\star\star)\Rightarrow(\star)$ holds trivially for any $X$ and $Y$. But the implication $(\star)\Rightarrow (\star\star)$ for an arbitrary Borel set $X \subset 2omega\times2omega$ is equivalent to the statement $\forall \alpha\in \omegaomega, \, \aleph 1$ is inaccessible in $L(\alpha)$. More precisely The authors prove that the validity of $(\star)\Rightarrow(\star\star)$ for all $X \in \varSigma0 {1+\xi+1 $, is equivalent to $\aleph \xi \aleph 1$. $ZFC$, derive from $(\star)$ the weaker conclusion that $Y$ is also Borel and of the same Baire class as $X$. This last result solves an old problem about compact covering mappings. In fact these results are closely related to the following general boundedness principle Lift$(X, Y)$: If any compact subset of $Y$ admits a continuous lifting in $X$, then $Y$ admits a continuous lifting in $X$, where by a lifting of $Z\subset \pi(X)$ in $X$ we mean a mapping on $Z$ whose graph is contained in $X$. The main result of this work will give the exact set theoretical strength of this principle depending on the descriptive complexity of $X$ and $Y$. The authors also prove a similar result for a variation of Lift$(X, Y)$ in which continuous liftings are replaced by Borel liftings, and which answers a question of H. Friedman. Among other applications the authors obtain a complete solution to a problem which goes back to Lusin concerning the existence of $\mathbf{\Pi 1 1$ sets with all constituents in some given class $\mathbf{\Gamma $ of Borel sets, improving earlier results by J. Stern and R. Sami. Borel sets (in $ZFC$) of a new type, involving a large amount of abstract algebra. This representation was initially developed for the purposes of this proof, but has several other applications.

Borel Liftings of Borel Sets: Some Decidable and Undecidable Statements Related Books

Borel Liftings of Borel Sets: Some Decidable and Undecidable Statements
Language: en
Pages: 134
Authors: Gabriel Debs
Categories: Mathematics
Type: BOOK - Published: 2007 - Publisher: American Mathematical Soc.

GET EBOOK

One of the aims of this work is to investigate some natural properties of Borel sets which are undecidable in $ZFC$. The authors' starting point is the followin
Kurt Gödel and the Foundations of Mathematics
Language: en
Pages: 541
Authors: Matthias Baaz
Categories: Mathematics
Type: BOOK - Published: 2011-06-06 - Publisher: Cambridge University Press

GET EBOOK

This volume commemorates the life, work and foundational views of Kurt Gödel (1906–78), most famous for his hallmark works on the completeness of first-order
Complicial Sets Characterising the Simplicial Nerves of Strict $\omega $-Categories
Language: en
Pages: 208
Authors: Dominic Verity
Categories: Mathematics
Type: BOOK - Published: 2008 - Publisher: American Mathematical Soc.

GET EBOOK

The primary purpose of this work is to characterise strict $\omega$-categories as simplicial sets with structure. The author proves the Street-Roberts conjectur
Invariant Differential Operators for Quantum Symmetric Spaces
Language: en
Pages: 104
Authors: Gail Letzter
Categories: Mathematics
Type: BOOK - Published: 2008 - Publisher: American Mathematical Soc.

GET EBOOK

This paper studies quantum invariant differential operators for quantum symmetric spaces in the maximally split case. The main results are quantum versions of t
Torus Fibrations, Gerbes, and Duality
Language: en
Pages: 104
Authors: Ron Donagi
Categories: Mathematics
Type: BOOK - Published: 2008 - Publisher: American Mathematical Soc.

GET EBOOK

Let $X$ be a smooth elliptic fibration over a smooth base $B$. Under mild assumptions, the authors establish a Fourier-Mukai equivalence between the derived cat