On nonmonotone inductive definability
From MaRDI portal
Publication:4063427
DOI10.4064/fm-82-1-39-83zbMath0306.02039OpenAlexW991566839MaRDI QIDQ4063427
Publication date: 1974
Published in: Fundamenta Mathematicae (Search for Journal in Brave)
Full work available at URL: https://eudml.org/doc/214679
Descriptive set theory (03E15) Large cardinals (03E55) Hierarchies of computability and definability (03D55)
Related Items
Expressive equivalence of least and inflationary fixed-point logic ⋮ Fixed-point extensions of first-order logic ⋮ On the Performance of Axiom Systems ⋮ The computational complexity of asymptotic problems. I: Partial orders ⋮ ABOUT SOME FIXED POINT AXIOMS AND RELATED PRINCIPLES IN KRIPKE–PLATEK ENVIRONMENTS ⋮ Ordinal analysis of non-monotone \(\Pi_1^0\)-definable inductive definitions ⋮ On monotone vs. nonmonotone induction ⋮ Inductive definitions, models of comprehension and invariant definability ⋮ The Theory of Countable Analytical Sets ⋮ The automorphism tower of a centerless group without choice ⋮ The undecidability of iterated modal relativization
