On monotone vs. nonmonotone induction

DOI10.1090/S0002-9904-1976-14194-8MaRDI QIDQ4137152zbMATH OpenOpenAlexFDO

Authors Alexander S. Kechris, Leo Harrington

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)

Cites work

• scientific article; zbMATH DE number 3506643 (Why is no real title available?)
• Elementary induction on abstract structures
• Hyperanalytic Predicates
• On nonmonotone inductive definability

Cited in

(6)

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

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4137152)