Truth In V for ∃*∀∀-Sentences is Decidable

DOI10.2178/jsl/1164060452zbMath1109.03057OpenAlexW2155997936MaRDI QIDQ3416111

Dorella Bellè, Franco Parlamento

Publication date: 19 January 2007

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2178/jsl/1164060452

zbMATH Keywords

ZFCdecidabilityfirst-order languagecumulative set-theoretic hierarchyprimitive language of set theorythree-quantifier sentences

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Axiomatics of classical set theory and its fragments (03E30) Models of arithmetic and set theory (03C62)

Cites Work

• The ∀_n∃‐Completeness of Zermelo‐Fraenkel Set Theory
• Witnessing differences without redundancies
• Three-quantifier sentences
• Decidability of ∀*∀‐Sentences in Membership Theories

This page was built for publication: Truth In V for ∃*∀∀-Sentences is Decidable