Decidability of \(\exists^*\forall\forall\)-sentences in HF

zbMath1180.03011MaRDI QIDQ1049750

Franco Parlamento, Dorella Bellè

Publication date: 13 January 2010

Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)

zbMATH Keywords

decidabilityquantifiershereditarily finite sets

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)

This page was built for publication: Decidability of \(\exists^*\forall\forall\)-sentences in HF