Sentences with three quantifiers are decidable in set theory

• 1 January 1979
• journal article
• Published by Institute of Mathematics, Polish Academy of Sciences in Fundamenta Mathematicae
• Vol. 102  (1) , 1-8
• https://doi.org/10.4064/fm-102-1-1-8

Abstract