Ergodic Undefinability in Set Theory and Recursion Theory

DOI10.2307/2044326zbMath0472.03039OpenAlexW4233619563MaRDI QIDQ3926571

Daniele Mundici

Publication date: 1981

Full work available at URL: https://doi.org/10.2307/2044326

zbMATH Keywords

genericityrandomnessBirkhoff theoremundefinabilityglobal choicerandom hyperarithmetic sequence

Mathematics Subject Classification ID

Measure-preserving transformations (28D05) Descriptive set theory (03E15) Ergodic theory on groups (22D40) Compact groups (22C05) Descriptive set theory (topological aspects of Borel, analytic, projective, etc. sets) (54H05) Interpolation, preservation, definability (03C40) Axiom of choice and related propositions (03E25) Hierarchies of computability and definability (03D55)

Cites Work

• Ergodic theory. Introductory lectures
• Ergodic theory on compact spaces
• Global and local choice functions
• Measure and category in effective descriptive set theory
• Measure-Theoretic Uniformity in Recursion Theory and Set Theory
• Comparison of the axioms of local and universal choice
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Ergodic Undefinability in Set Theory and Recursion Theory