Explicit mathematics with the monotone fixed point principle. II: Models (Q4262568)
From MaRDI portal
scientific article; zbMATH DE number 1335191
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Explicit mathematics with the monotone fixed point principle. II: Models |
scientific article; zbMATH DE number 1335191 |
Statements
Explicit mathematics with the monotone fixed point principle. II: Models (English)
0 references
10 February 2000
0 references
monotone fixed point principle
0 references
explicit mathematics
0 references
constructive mathematics
0 references
generalized recursion theory
0 references
fragments of second-order arithmetic
0 references
\({\boldsymbol\Pi}^1_2\) comprehension
0 references
set-theoretic models
0 references
extensions of Kripke-Platek set theory
0 references
