Wellfoundedness proofs by means of non-monotonic inductive definitions. II: First order operators (Q638478)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Wellfoundedness proofs by means of non-monotonic inductive definitions. II: First order operators |
scientific article |
Statements
Wellfoundedness proofs by means of non-monotonic inductive definitions. II: First order operators (English)
0 references
12 September 2011
0 references
ordinal notations
0 references
reflecting ordinals
0 references
wellfoundedness proof
0 references
0 references
