The subset relation and 2‐stratified sentences in set theory and class theory

DOI10.1002/malq.202200029arXiv2012.07272OpenAlexW3112582285MaRDI QIDQ6096719

Zachiri McKenzie

Publication date: 15 September 2023

Published in: Mathematical Logic Quarterly (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/2012.07272

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Cites Work

• The ∀_n∃‐Completeness of Zermelo‐Fraenkel Set Theory
• Sentences with three quantifiers are decidable in set theory
• Three-quantifier sentences
• CURRENT RESEARCH ON GÖDEL’S INCOMPLETENESS THEOREMS
• Set-theoretic mereology
• Unnamed Item
• Unnamed Item
• Unnamed Item