Ordinal arithmetic based on Skolem hulling (Q866560)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Ordinal arithmetic based on Skolem hulling |
scientific article |
Statements
Ordinal arithmetic based on Skolem hulling (English)
0 references
14 February 2007
0 references
proof theory
0 references
ordinal notations
0 references
\(\Sigma _{1}\)-elementarity
0 references
collapsing functions
0 references
patterns of resemblance
0 references
0 references
