Three-quantifier sentences
Fundamenta Mathematicae (2003)
- Volume: 177, Issue: 3, page 213-240
- ISSN: 0016-2736
Access Full Article
top
Abstract
topHow to cite
topHarvey M. Friedman. "Three-quantifier sentences." Fundamenta Mathematicae 177.3 (2003): 213-240. <http://eudml.org/doc/283350>.
@article{HarveyM2003,
abstract = {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]).},
author = {Harvey M. Friedman},
journal = {Fundamenta Mathematicae},
keywords = {3-quantifier sentences; primitive notation of set theory; ZFC; weak fragment of ZF; witnesses of 2-quantifier formulas; 5-quantifier sentence},
language = {eng},
number = {3},
pages = {213-240},
title = {Three-quantifier sentences},
url = {http://eudml.org/doc/283350},
volume = {177},
year = {2003},
}
TY - JOUR
AU - Harvey M. Friedman
TI - Three-quantifier sentences
JO - Fundamenta Mathematicae
PY - 2003
VL - 177
IS - 3
SP - 213
EP - 240
AB - 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]).
LA - eng
KW - 3-quantifier sentences; primitive notation of set theory; ZFC; weak fragment of ZF; witnesses of 2-quantifier formulas; 5-quantifier sentence
UR - http://eudml.org/doc/283350
ER -
NotesEmbed ?
topYou must be logged in to post comments.
To embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.