Pages that link to "Item:Q5214787"

The following pages link to Iterated Inductive Definitions Revisited (Q5214787):

Displaying 2 items.

• First order theories for nonmonotone inductive definitions: recursively inaccessible and Mahlo (Q2758045) (← links)
• On the Performance of Axiom Systems (Q5055280) (← links)