A COMPARISON OF VARIOUS ANALYTIC CHOICE PRINCIPLES (Q5021923)
From MaRDI portal
scientific article; zbMATH DE number 7457786
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A COMPARISON OF VARIOUS ANALYTIC CHOICE PRINCIPLES |
scientific article; zbMATH DE number 7457786 |
Statements
A COMPARISON OF VARIOUS ANALYTIC CHOICE PRINCIPLES (English)
0 references
17 January 2022
0 references
weihrauch reducibility
0 references
arithmetical transfinite recusion
0 references
\( \Sigma^1_1\)-choice
0 references
