Decidability of a portion of the predicate calculus

Saharon Shelah

doi:10.1007/BF02759780

Decidability of a portion of the predicate calculus

Saharon Shelah^*

^*Corresponding author for this work

Einstein Institute of Mathematics

Research output: Contribution to journal › Article › peer-review

16 Scopus citations

Abstract

We show decidability of the existence of a model (a finite model) for sentences with the string of quantifiers ∀x(∃y₁... y_n), for a language with equality, one one-place function, predicates and constants.

Original language	English
Pages (from-to)	32-44
Number of pages	13
Journal	Israel Journal of Mathematics
Volume	28
Issue number	1-2
DOIs	https://doi.org/10.1007/BF02759780
State	Published - Mar 1977

Access to Document

10.1007/BF02759780

Cite this

@article{3d095e8e58874b9199d939e5a3d7ad16,

title = "Decidability of a portion of the predicate calculus",

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.",

author = "Saharon Shelah",

year = "1977",

month = mar,

doi = "10.1007/BF02759780",

language = "אנגלית",

volume = "28",

pages = "32--44",

journal = "Israel Journal of Mathematics",

issn = "0021-2172",

publisher = "Springer New York",

number = "1-2",

}

TY - JOUR

T1 - Decidability of a portion of the predicate calculus

AU - Shelah, Saharon

PY - 1977/3

Y1 - 1977/3

N2 - 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.

AB - 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.

UR - https://www.scopus.com/pages/publications/51249187053

U2 - 10.1007/BF02759780

DO - 10.1007/BF02759780

M3 - ???researchoutput.researchoutputtypes.contributiontojournal.article???

AN - SCOPUS:51249187053

SN - 0021-2172

VL - 28

SP - 32

EP - 44

JO - Israel Journal of Mathematics

JF - Israel Journal of Mathematics

IS - 1-2

ER -

Decidability of a portion of the predicate calculus

Abstract

Access to Document

Other files and links

Fingerprint

Cite this