Pages that link to "Item:Q4063427"

The following pages link to On nonmonotone inductive definability (Q4063427):

Displaying 11 items.

• Ordinal analysis of non-monotone \(\Pi_1^0\)-definable inductive definitions (Q958493) (← links)
• The automorphism tower of a centerless group without choice (Q1042442) (← links)
• Fixed-point extensions of first-order logic (Q1090327) (← links)
• The computational complexity of asymptotic problems. I: Partial orders (Q1115860) (← links)
• Inductive definitions, models of comprehension and invariant definability (Q1247418) (← links)
• Expressive equivalence of least and inflationary fixed-point logic (Q1886320) (← links)
• The undecidability of iterated modal relativization (Q2574887) (← links)
• The Theory of Countable Analytical Sets (Q4078033) (← links)
• On monotone vs. nonmonotone induction (Q4137152) (← links)
• ABOUT SOME FIXED POINT AXIOMS AND RELATED PRINCIPLES IN KRIPKE–PLATEK ENVIRONMENTS (Q4579812) (← links)
• On the Performance of Axiom Systems (Q5055280) (← links)