Pages that link to "Item:Q5214787"
From MaRDI portal
The following pages link to Iterated Inductive Definitions Revisited (Q5214787):
Displaying 5 items.
- Comparing inductive and circular definitions: Parameters, complexity and games (Q817681) (← links)
- Iterated dominance revisited (Q2059064) (← links)
- First order theories for nonmonotone inductive definitions: Recursively inaccessible and Mahlo (Q2758045) (← links)
- On the Performance of Axiom Systems (Q5055280) (← links)
- Variations on inductive-recursive definitions (Q5111280) (← links)