On monotone vs. nonmonotone induction
HTML articles powered by AMS MathViewer
- by Leo A. Harrington and Alexander S. Kechris PDF
- Bull. Amer. Math. Soc. 82 (1976), 888-890
References
- Peter Aczel, Quantifiers, games and inductive definitions, Proceedings of the Third Scandinavian Logic Symposium (Univ. Uppsala, Uppsala, 1973) Stud. Logic Found. Math., Vol. 82, North-Holland, Amsterdam, 1975, pp. 1–14. MR 0424515 2. L. A. Harrington and Y. N. Moschovakis, On positive induction vs. nonmonotone induction, Mimeographed notes, 1975.
- Yiannis N. Moschovakis, Hyperanalytic predicates, Trans. Amer. Math. Soc. 129 (1967), 249–282. MR 236010, DOI 10.1090/S0002-9947-1967-0236010-2
- Yiannis N. Moschovakis, Elementary induction on abstract structures, Studies in Logic and the Foundations of Mathematics, Vol. 77, North-Holland Publishing Co., Amsterdam-London; American Elsevier Publishing Co., Inc., New York, 1974. MR 0398810
- Yiannis N. Moschovakis, On nonmonotone inductive definability, Fund. Math. 82 (1974/75), 39–83. MR 354373, DOI 10.4064/fm-82-1-39-83
Additional Information
- Journal: Bull. Amer. Math. Soc. 82 (1976), 888-890
- MSC (1970): Primary 02F27
- DOI: https://doi.org/10.1090/S0002-9904-1976-14194-8
- MathSciNet review: 0437327