On monotone vs. nonmonotone induction

DOI10.1090/S0002-9904-1976-14194-8zbMATH Open0363.02044OpenAlexW1996736120MaRDI QIDQ4137152FDOQ4137152

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

• Elementary induction on abstract structures
• On nonmonotone inductive definability
• Hyperanalytic Predicates
• Title not available (Why is that?)

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
• A proof of Grilliot's theorem
• Monotone inductive definitions in explicit mathematics

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)