Decidability of a portion of the predicate calculus

Saharon Shelah*

*Corresponding author for this work

Research output: Contribution to journalArticlepeer-review

15 Scopus citations

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.

Original languageEnglish
Pages (from-to)32-44
Number of pages13
JournalIsrael Journal of Mathematics
Volume28
Issue number1-2
DOIs
StatePublished - Mar 1977

Fingerprint

Dive into the research topics of 'Decidability of a portion of the predicate calculus'. Together they form a unique fingerprint.

Cite this