Pages that link to "Item:Q4137152"
From MaRDI portal
The following pages link to On monotone vs. nonmonotone induction (Q4137152):
Displaying 5 items.
- Fixed-point extensions of first-order logic (Q1090327) (← links)
- On the proof-theoretic strength of monotone induction in explicit mathematics (Q1356976) (← links)
- Expressive equivalence of least and inflationary fixed-point logic (Q1886320) (← links)
- Monotone inductive definitions in explicit mathematics (Q4879904) (← links)
- GAMES AND REFLECTION IN (Q5855749) (← links)
