No label defined (Q3027001)
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: scientific article |
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | No label defined |
scientific article |
Statements
1987
0 references
\(\Pi _ 2\)-models
0 references
\(\Pi _ 2\)-ordinals
0 references
extensions of Kripke-Platek set theory
0 references
provably \(\Sigma _ 1\)-definable functions
0 references
hierarchy of ordinal functions indexed by dilators
0 references
cut-elimination
0 references
