Abstract
We show decidability of the existence of a model (a finite model) for sentences with the string of quantifiers ∀x(∃y 1...y n), for a language with equality, one one-place function, predicates and constants.
Similar content being viewed by others
References
B. Dreben and D. Goldfarb, a book in preparation.
Y. Gurevich,The decision problem for standard classes, J. Symbolic Logic41 (1976), 460–464.
M. O. Rabin,Decidability of second-order theories and automata on infinite trees, Trans. Amer. Math. Soc.141 (1969), 1–35.
S. Shelah,Various results in mathematical logic, Notices Amer. Math. Soc.22 (1975), A-23(75T-E4).
Author information
Authors and Affiliations
Additional information
I would like to thank the Israel Academy of Science and Humanities for partially supporting this research by a grant.
Rights and permissions
About this article
Cite this article
Shelah, S. Decidability of a portion of the predicate calculus. Israel J. Math. 28, 32–44 (1977). https://doi.org/10.1007/BF02759780
Received:
Revised:
Issue Date:
DOI: https://doi.org/10.1007/BF02759780