Three-quantifier sentences (Q4425144)
From MaRDI portal
scientific article; zbMATH DE number 1978722
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Three-quantifier sentences |
scientific article; zbMATH DE number 1978722 |
Statements
Three-quantifier sentences (English)
0 references
10 September 2003
0 references
3-quantifier sentences
0 references
primitive notation of set theory
0 references
ZFC
0 references
weak fragment of ZF
0 references
witnesses of 2-quantifier formulas
0 references
5-quantifier sentence
0 references
