Pages that link to "Item:Q1115865"
From MaRDI portal
The following pages link to Monotone inductive definitions in a constructive theory of functions and classes (Q1115865):
Displayed 6 items.
- On the proof-theoretic strength of monotone induction in explicit mathematics (Q1356976) (← links)
- Understanding uniformity in Feferman's explicit mathematics (Q1899146) (← links)
- Systems of explicit mathematics with non-constructive \(\mu\)-operator and join (Q2563984) (← links)
- Explicit mathematics with the monotone fixed point principle (Q4212918) (← links)
- On power set in explicit mathematics (Q4894722) (← links)
- On the intuitionistic strength of monotone inductive definitions (Q5311753) (← links)