Wellfoundedness proofs by means of non-monotonic inductive definitions I: Π<sub>2</sub><sup>0</sup>-operators (Q5311756)
From MaRDI portal
scientific article; zbMATH DE number 2199961
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Wellfoundedness proofs by means of non-monotonic inductive definitions I: Π<sub>2</sub><sup>0</sup>-operators |
scientific article; zbMATH DE number 2199961 |
Statements
Wellfoundedness proofs by means of non-monotonic inductive definitions I: Π<sub>2</sub><sup>0</sup>-operators (English)
0 references
29 August 2005
0 references
well-ordering proofs
0 references
well-foundedness proofs
0 references
nonmonotonic inductive definitions
0 references
\(\Pi_3\)-reflecting ordinals
0 references
