TD implies \(\operatorname{CC}_{\mathbb{R}} \)

DOI10.1016/j.aim.2021.107755OpenAlexW3153461415MaRDI QIDQ2237378

Liang Yu, Yinhe Peng

Publication date: 27 October 2021

Published in: Advances in Mathematics (Search for Journal in Brave)

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

zbMATH Keywords

axiom of choiceTuring determinacy

Mathematics Subject Classification ID

Descriptive set theory (03E15) Axiom of choice and related propositions (03E25) Other Turing degree structures (03D28) Determinacy principles (03E60)

Cites Work

• Set Theory
• The axiom of determinateness and reduction principles in the analytical hierarchy
• On the axiom of determinateness
• Unnamed Item

This page was built for publication: TD implies \(\operatorname{CC}_{\mathbb{R}} \)