On the intuitionistic strength of monotone inductive definitions (Q5311753)
From MaRDI portal
scientific article; zbMATH DE number 2199958
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | On the intuitionistic strength of monotone inductive definitions |
scientific article; zbMATH DE number 2199958 |
Statements
On the intuitionistic strength of monotone inductive definitions (English)
0 references
29 August 2005
0 references
Explicit Mathematics
0 references
double-negation translation
0 references
second-order \(\mu\)-calculus
0 references
intuitionistic \(\mu\)-calculus
0 references
monotone inductive definitions
0 references
0 references
