Constructing Wadge classes

DOI10.1017/BSL.2022.7MaRDI QIDQ5085860zbMATH OpenOpenAlexFDO

Authors Raphaël Carroy, Andrea Medini, Sandra Müller

Publication date 30 June 2022

Published in The Bulletin of Symbolic Logic (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1907.07612

zbMATH Keywords

\(\omega\)-ary Boolean operationdeterminacyexpansionHausdorff operationlevelseparated differencesWadge theory

Mathematics Subject Classification ID

Descriptive set theory (03E15) Determinacy principles (03E60) Descriptive set theory (topological aspects of Borel, analytic, projective, etc. sets) (54H05)

Abstract: We show that, assuming the Axiom of Determinacy, every non-selfdual Wadge class can be constructed by starting with those of level $omeg{a}_1$ (that is, the ones that are closed under Borel preimages) and iteratively applying the operations of expansion and separated differences. The proof is essentially due to Louveau, and it yields at the same time a new proof of a theorem of Van Wesep (namely, that every non-selfdual Wadge class can be expressed as the result of a Hausdorff operation applied to the open sets). The exposition is self-contained, except for facts from classical descriptive set theory.

Recommendations

• scientific article; zbMATH DE number 3875282
• scientific article; zbMATH DE number 3849219
• Wadge hierarchy and Veblen hierarchy. I: Borel sets of finite rank
• Borel–Wadge degrees
• scientific article; zbMATH DE number 4210133

Cites work

• Analytic determinacy and 0^#
• Between Polish and completely Baire
• Borel determinacy
• Borel-amenable reducibilities for sets of reals
• Borel–Wadge degrees
• Determinacy in L(ℝ)
• EFFECTIVE CARDINALS OF BOLDFACE POINTCLASSES
• Every zero-dimensional homogeneous space is strongly homogeneous under determinacy
• Homogeneous Borel Sets
• scientific article; zbMATH DE number 6010992 (Why is no real title available?)
• scientific article; zbMATH DE number 3849219 (Why is no real title available?)
• scientific article; zbMATH DE number 3967429 (Why is no real title available?)
• scientific article; zbMATH DE number 42114 (Why is no real title available?)
• scientific article; zbMATH DE number 3603272 (Why is no real title available?)
• scientific article; zbMATH DE number 3616415 (Why is no real title available?)
• scientific article; zbMATH DE number 1201510 (Why is no real title available?)
• scientific article; zbMATH DE number 722611 (Why is no real title available?)
• scientific article; zbMATH DE number 3993574 (Why is no real title available?)
• Les propriétés de réduction et de norme pour les classes de Boréliens
• Mice with finitely many Woodin cardinals from optimal determinacy hypotheses
• On Borel ideals
• Set Theory
• The higher infinite. Large cardinals in set theory from their beginnings.
• The SLO principle and the Wadge hierarchy

Cited in

(9)

• Wadge hierarchy of differences of co-analytic sets
• Wadge degrees and pointclasses. Introduction to Part III
• EFFECTIVE CARDINALS OF BOLDFACE POINTCLASSES
• scientific article; zbMATH DE number 175835 (Why is no real title available?)
• On the scope of the Effros theorem
• Zero-dimensional -homogeneous spaces
• Every finite-dimensional analytic space is \(\sigma \)-homogeneous
• A classification of the Wadge hierarchies on zero-dimensional Polish spaces
• The metamathematics of separated determinacy

This page was built for publication: Constructing Wadge classes

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