Three-quantifier sentences

• Autorzy: Harvey M. Friedman
• Języki publikacji: EN

Abstrakty

EN

We give a complete proof that all 3-quantifier sentences in the primitive notation of set theory (∈, =), are decided in ZFC, and in fact in a weak fragment of ZF without the power set axiom. We obtain information concerning witnesses of 2-quantifier formulas with one free variable. There is a 5-quantifier sentence that is not decided in ZFC (see [2]).

Kategorie tematyczne

• 03B25: Decidability of theories and sets of sentences
• 03E30: Axiomatics of classical set theory and its fragments

• Wydawca: Institute of Mathematics Polish Academy of Sciences
• Czasopismo: Fundamenta Mathematicae
• Rocznik: 2003
• Tom: 177
• Numer: 3
• Strony: 213-240

Daty

wydano

2003

Twórcy

autor

Harvey M. Friedman

• Department of Mathematics, Ohio State University, Columbus, OH 43210, U.S.A.

Identyfikatory

DOI

10.4064/fm177-3-3