European Mathematical Society - j. s. raymond
https://euro-math-soc.eu/author/j-s-raymond
enBorel Liftings of Borel Sets - Some Decidable and Undecidable Statements
https://euro-math-soc.eu/review/borel-liftings-borel-sets-some-decidable-and-undecidable-statements
<div class="field field-name-field-review-review field-type-text-with-summary field-label-hidden"><div class="field-items"><div class="field-item even"><div class="tex2jax"><p>One of the motivations for this book was a topological problem concerning particular classes of mappings between separable metrizable spaces. We recall that a surjective continuous mapping f from X onto Y is perfect if the inverse image of a compact set in Y is compact in X. We say that f is a compact covering if any compact subset of Y is the direct image of a compact set in X. The mapping f is said to be inductively perfect if there exists a subset X' in X such that f(X') = Y and f restricted to X' is perfect. Obviously, one has that any perfect mapping is inductively perfect and any inductively perfect mapping is a compact covering. A problem raised by Ostrovsky is whether a compact covering image of a Borel space is also Borel. A more general variant of this question is whether any compact covering mapping between two Borel spaces is also inductively perfect. It has turned out that these problems lead to a question on continuous and Borel liftings. </p>
<p>The main result of the book shows a close relation between the lifting property and certain set-theory inequalities. Methods of proof based upon a tree and a double-tree representation of Borel sets are presented in the first and the second chapter. A couple of applications are shown in chapter 3, namely Hurewicz type results and Borel separation results. The next part is devoted to a solution of Ostrovsky's problem mentioned above and to a question by H. Friedman on Borel liftings. Chapter 5 presents an application of the main theorem to special aspects of Lusin's problem on constituents of coanalytic non-Borel sets. The last part contains the proof of the main theorem. The book contains deep and powerful ideas that seem likely to have much more interesting applications. Thus it is strongly recommended for everyone interested in descriptive set theory and its applications.</p>
</div></div></div></div><div class="field field-name-field-review-reviewer field-type-text field-label-inline clearfix"><div class="field-label">Reviewer: </div><div class="field-items"><div class="field-item even">jsp</div></div></div><span class="vocabulary field field-name-field-review-author field-type-taxonomy-term-reference field-label-inline clearfix"><h2 class="field-label">Author: </h2><ul class="vocabulary-list"><li class="vocabulary-links field-item even"><a href="/author/g-debs" typeof="skos:Concept" property="rdfs:label skos:prefLabel" datatype="">g. debs</a></li><li class="vocabulary-links field-item odd"><a href="/author/j-s-raymond" typeof="skos:Concept" property="rdfs:label skos:prefLabel" datatype="">j. s. raymond</a></li></ul></span><span class="vocabulary field field-name-field-review-publisher field-type-taxonomy-term-reference field-label-inline clearfix"><h2 class="field-label">Publisher: </h2><ul class="vocabulary-list"><li class="vocabulary-links field-item even"><a href="/publisher/american-mathematical-society" typeof="skos:Concept" property="rdfs:label skos:prefLabel" datatype="">american mathematical society</a></li></ul></span><div class="field field-name-field-review-pub field-type-number-integer field-label-inline clearfix"><div class="field-label">Published: </div><div class="field-items"><div class="field-item even">2007</div></div></div><div class="field field-name-field-review-isbn field-type-text field-label-inline clearfix"><div class="field-label">ISBN: </div><div class="field-items"><div class="field-item even">978-0-8218-3971-3 </div></div></div><div class="field field-name-field-review-price field-type-text field-label-inline clearfix"><div class="field-label">Price: </div><div class="field-items"><div class="field-item even">USD 62</div></div></div><span class="vocabulary field field-name-field-review-msc field-type-taxonomy-term-reference field-label-hidden"><ul class="vocabulary-list"><li class="vocabulary-links field-item even"><a href="/msc/03-mathematical-logic-and-foundations" typeof="skos:Concept" property="rdfs:label skos:prefLabel" datatype="">03 Mathematical logic and foundations</a></li></ul></span>Sat, 28 May 2011 08:52:05 +0000Anonymous39186 at https://euro-math-soc.eu