Generalized Hyperarithmetic Theory (Q3199408)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Generalized Hyperarithmetic Theory |
scientific article |
Statements
Generalized Hyperarithmetic Theory (English)
0 references
1990
0 references
admissible ordinal relative to a cofinal subset of ordertype \(\omega \)
0 references
amenable set
0 references
generalization of hyperarithmetic theory
0 references
\(\omega \) -like ordinals
0 references
ordinal notation system
0 references
separation theorem
0 references
