×

Sentences with three quantifiers are decidable in set theory. (English) Zbl 0397.03013


MSC:

03C10 Quantifier elimination, model completeness, and related topics
03B25 Decidability of theories and sets of sentences

Citations:

Zbl 0096.243
PDFBibTeX XMLCite
Full Text: DOI EuDML