ANALYTIC EQUIVALENCE RELATIONS SATISFYING HYPERARITHMETIC-IS-RECURSIVE (Q5250130)
From MaRDI portal
scientific article; zbMATH DE number 6436289
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | ANALYTIC EQUIVALENCE RELATIONS SATISFYING HYPERARITHMETIC-IS-RECURSIVE |
scientific article; zbMATH DE number 6436289 |
Statements
ANALYTIC EQUIVALENCE RELATIONS SATISFYING HYPERARITHMETIC-IS-RECURSIVE (English)
0 references
18 May 2015
0 references
\(\Sigma_{2}^{1}\)-determinacy
0 references
hyperarithmetic reals
0 references
0 references
