A comparison of various analytic choice principles

DOI10.1017/JSL.2021.37arXiv1907.02769MaRDI QIDQ6321583

Takayuki Kihara, Paul-Elliot Anglès d'Auriac

Publication date: 5 July 2019

Mathematics Subject Classification ID

Foundations of classical theories (including reverse mathematics) (03B30) Other degrees and reducibilities in computability and recursion theory (03D30) Hierarchies of computability and definability (03D55)

This page was built for publication: A comparison of various analytic choice principles