TD implies CC_R

DOI10.1016/J.AIM.2021.107755MaRDI QIDQ2237378zbMATH OpenOpenAlexFDO

Authors Yinhe Peng, Liang Yu

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

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

Cites work

• scientific article; zbMATH DE number 3861137 (Why is no real title available?)
• On the axiom of determinateness
• Set Theory
• The axiom of determinateness and reduction principles in the analytical hierarchy

Cited in

(1)

• TD implies CCR

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

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