Sentences with three quantifiers are decidable in set theory (Q4180323)
From MaRDI portal
scientific article; zbMATH DE number 3616397
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Sentences with three quantifiers are decidable in set theory |
scientific article; zbMATH DE number 3616397 |
Statements
Sentences with three quantifiers are decidable in set theory (English)
0 references
1979
0 references
Sentences with Three Quantifiers
0 references
Decidability
0 references
Closed Prenex Formula
0 references
Zermelo-Frankel Set Theory
0 references
Axiom of Choice
0 references
Axiom of Regularity
0 references
Characterization in Terms of Games
0 references
