No label defined (Q4797583)
From MaRDI portal
scientific article; zbMATH DE number 1882496
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | No label defined |
scientific article; zbMATH DE number 1882496 |
Statements
16 March 2003
0 references
\(\mu\)-calculus
0 references
comprehension axiom
0 references
subsystems of analysis
0 references
proof theory
0 references
Kripke-Platek set theory
0 references
\(\Pi^1_2\)-comprehension
0 references
monotone inductive definitions
0 references
nonmonotone inductive definitions
0 references
stage comparison theorem
0 references
reflection principles
0 references
game quantifiers
0 references
Suslin quantifiers
0 references
ordinal analysis
0 references
