Invariant uniformization

DOI10.4064/FM-91-1-65-72MaRDI QIDQ4133636zbMATH OpenOpenAlexFDO

Authors Dale Myers

Publication date 1976

Published in Fundamenta Mathematicae (Search for Journal in Brave)

Full work available at URL https://eudml.org/doc/214939

Mathematics Subject Classification ID

Descriptive set theory (03E15) Consistency and independence results (03E35)

Review text

The basic result of this paper is the construction of a forcing model in which the family of unordered pairs of isomorphism types of bireals (two-way infinite strings of 0's and 1's), has no choice function which is definable from a countable sequence of ordinals. Although the construction is by now routine, there are many interesting corollaries of the result, among them: it is consistent to assume that one cannot pick (in a manner definable from a countable sequence of ordinals) a point from each countable linear order. Another concerns picking an enumeration of each countable well-ordering. The results are then given a general setting in terms of descriptive set theory, where they can be interpreted as saying that an invariant version of the Kondo-Addison Uniformization Theorem fails.

Recommendations

• Non-uniformizable sets of second projective level with countable cross-sections in the form of Vitali classes
• Ramsey ultrafilters and countable-to-one uniformization
• Uniformization principles
• Invariantly universal analytic quasi-orders
• scientific article; zbMATH DE number 3865265

This page was built for publication: Invariant uniformization

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4133636)