Sh:58

• Shelah, S. (1977). Decidability of a portion of the predicate calculus. Israel J. Math., 28(1-2), 32–44. DOI: 10.1007/BF02759780 MR: 0505410
• Abstract:
  We show decidability of the existence of a model (a finite model) for sentences with the string of quantifiers Vx(3y ...y,), for a language with equality, one one-place function, predicates and constants.

  A simpified version appear in a book by Borger, Gradel Gurevich, The cclassical decision problem

• published version (13p)

@article{Sh:58,
 author = {Shelah, Saharon},
 title = {{Decidability of a portion of the predicate calculus}},
 journal = {Israel J. Math.},
 fjournal = {Israel Journal of Mathematics},
 volume = {28},
 number = {1-2},
 year = {1977},
 pages = {32--44},
 issn = {0021-2172},
 mrnumber = {0505410},
 mrclass = {02G05 (02B10 02H05)},
 doi = {10.1007/BF02759780}
}