£66.95

Borel Liftings of Borel Sets - Some Decidable and Undecidable Statements (Memoirs of the American Mathematical Society)

Geometry & Topology

Price data last checked 50 day(s) ago - refreshing...

View at Amazon

Price History & Forecast

Last 41 days • 41 data points (No recent data available)

Historical

Generating forecast...

Price Distribution

Price distribution over 41 days • 1 price levels

Days at Price

Price Analysis

Most common price: £67 (41 days, 100.0%)

Price range: £67 - £67

Price levels: 1 different prices over 41 days

Description

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$"". However we shall show independently, that when $X$ is Borel one can, in $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. The proof of the main result will rely on a nontrivial representation of 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.

Product Specifications

Format: Paperback
ASIN: 0821839713
Category: Books > Subjects > Science, Nature & Maths > Mathematics > Geometry & Topology
Domain: Amazon UK
Release Date: 17 May 2007
Listed Since: 22 March 2007

Barcode

No barcode data available

Borel Liftings of Borel Sets - Some Decidable and Undecidable Statements (Memoirs of the American Mathematical Society)

Price History & Forecast

Price Distribution

Price Analysis

Description

Product Specifications

Barcode

Similar Products You Might Like

The Beilinson Complex and Canonical Rings of Irregular Surfaces (Memoirs of the American Mathematical Society)

New Complex Analytic Methods in the Study of Non-Orientable Minimal Surfaces in $mathbb {R}^n$ (Memoirs of the American Mathematical Society)

Geometric Set Theory (Mathematical Surveys and Monographs)

Nil Bohr-Sets and Almost Automorphy of Higher Order (Memoirs of the American Mathematical Society)

Continuous Cohomology, Discrete Subgroups, and Representations of Reductive Groups (Mathematical Surveys and Monographs)

Generalized Descriptive Set Theory and Classification Theory (Memoirs of the American Mathematical Society)

Recent Developments in the Theory of Lorentz Spaces and Weighted Inequalities (Memoirs of the American Mathematical Society)

Dimensions of Affine Deligne-Lusztig Varieties: A New Approach Via Labeled Folded Alcove Walks and Root Operators (Memoirs of the American Mathematical Society)

Topics in Measure Theory and Real Analysis: 2 (Atlantis Studies in Mathematics)

Covering Dimension of C*-Algebras and 2-Coloured Classification (Memoirs of the American Mathematical Society)

Measures and Differential Equations in Infinite-dimensional Space: v. 76 (Mathematics and its Applications)

Connective Real K-theory of Finite Groups: 169 (Mathematical Surveys and Monographs)

Special Topics in Mathematics for Computer Scientists: Sets, Categories, Topologies and Measures

Moduli in Modern Mapping Theory (Springer Monographs in Mathematics)

Computability Theory and Its Applications: Current Trends and Open Problems (Contemporary Mathematics)

Proofs and Fundamentals: A First Course in Abstract Mathematics: 0 (Undergraduate Texts in Mathematics)

Proofs and Fundamentals: A First Course in Abstract Mathematics (Undergraduate Texts in Mathematics)

Apartness and Uniformity: A Constructive Development (Theory and Applications of Computability)

Homology of Normal Chains and Cohomology of Charges (Memoirs of the American Mathematical Society)

Combinatorial Set Theory: With a Gentle Introduction to Forcing (Springer Monographs in Mathematics)

Algebras of Sets and Combinatorics (Translations of Mathematical Monographs)

Pattern Recognition on Oriented Matroids

Algebraic Methods in Statistics and Probability II (Contemporary Mathematics): Ams Special Session Algebraic Methods in Statistics and Probability, ... Illinois at Urbana-champaign, Champaign, Il

Commutative Normed Rings (American Mathematics Society non-series title) (Chelsea Publications)