Decidability of a portion of the predicate calculus |
| |
| Authors: | Saharon Shelah |
| |
| Institution: | (1) Institute of Mathematics, The Hebrew University of Jerusalem, Jerusalem, Israel |
| |
| 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.
I would like to thank the Israel Academy of Science and Humanities for partially supporting this research by a grant. |
| |
| Keywords: | |
| 本文献已被 SpringerLink 等数据库收录！ |
|
