Fixed-point extensions of first-order logic
- 1 January 1986
- journal article
- Published by Elsevier in Annals of Pure and Applied Logic
- Vol. 32, 265-280
- https://doi.org/10.1016/0168-0072(86)90055-2
Abstract
No abstract availableKeywords
This publication has 15 references indexed in Scilit:
- Monotone versus positiveJournal of the ACM, 1987
- A zero-one law for logic with a fixed-point operatorInformation and Control, 1985
- Toward logic tailored for computational complexityLecture Notes in Mathematics, 1984
- An Introduction to Inductive DefinitionsPublished by Elsevier ,1977
- The complexity of explicit definitionsAdvances in Mathematics, 1976
- On monotone vs. nonmonotone inductionBulletin of the American Mathematical Society, 1976
- Recursively Mahlo Ordinals and Inductive DefinitionsPublished by Elsevier ,1971
- C. Spector. Inductively defined sets of natural numbers. Infinitistic methods, Proceedings of the Symposium on Foundations of Mathematics, Warsaw, 2-9 September 1959, Państwowe Wydawnictwo Naukowe, Warsaw, and Pergamon Press, Oxford-London-New York-Paris, 1961, pp. 97–102.The Journal of Symbolic Logic, 1969
- Properties preserved in subdirect productsPacific Journal of Mathematics, 1959
- An interpolation theorem in the predicate calculusPacific Journal of Mathematics, 1959