ALMOST THEOREMS OF HYPERARITHMETIC ANALYSIS (Q6103458)
From MaRDI portal
scientific article; zbMATH DE number 7691756
Language | Label | Description | Also known as |
---|---|---|---|
English | ALMOST THEOREMS OF HYPERARITHMETIC ANALYSIS |
scientific article; zbMATH DE number 7691756 |
Statements
ALMOST THEOREMS OF HYPERARITHMETIC ANALYSIS (English)
0 references
5 June 2023
0 references
theorems of hyperarithmetic analysis
0 references
generalized \(\Pi_1^1\), \(r\)-\(\Pi_2^1\), and Tanaka conservativity
0 references
\(\Sigma_n^1\)-\(\mathrm{AC}_0\), \(\Sigma_\infty^1\)-\(\mathrm{AC}_0\)
0 references
Halin's theorem
0 references
rays
0 references
locally finite graphs
0 references
tree forcing
0 references