ALMOST THEOREMS OF HYPERARITHMETIC ANALYSIS (Q6103458)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 7691756
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| 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
0 references
0.8971924185752869
0 references
0.7395120859146118
0 references
0.7209444046020508
0 references
0.7180719375610352
0 references
