Ordinal arithmetic based on Skolem hulling (Q866560)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Ordinal arithmetic based on Skolem hulling |
scientific article; zbMATH DE number 5126402
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Ordinal arithmetic based on Skolem hulling |
scientific article; zbMATH DE number 5126402 |
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
0.8895276
0 references
0 references
0.87562996
0 references
0.86893415
0 references
0 references
