On monotone vs. nonmonotone induction

DOI10.1090/S0002-9904-1976-14194-8zbMath0363.02044OpenAlexW1996736120MaRDI QIDQ4137152

Alexander S. Kechris

Publication date: 1976

Published in: Bulletin of the American Mathematical Society (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1090/s0002-9904-1976-14194-8

Mathematics Subject Classification ID

Computability and recursion theory on ordinals, admissible sets, etc. (03D60)

Related Items (5)

Expressive equivalence of least and inflationary fixed-point logic ⋮ Fixed-point extensions of first-order logic ⋮ On the proof-theoretic strength of monotone induction in explicit mathematics ⋮ Monotone inductive definitions in explicit mathematics ⋮ GAMES AND REFLECTION IN

Cites Work

• Elementary induction on abstract structures
• On nonmonotone inductive definability
• Hyperanalytic Predicates
• Unnamed Item

This page was built for publication: On monotone vs. nonmonotone induction