No label defined (Q3924199)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | No label defined |
scientific article |
Statements
1981
0 references
Morse-Kelley-Tarski set theory
0 references
Bernays' set theory
0 references
impredicative set theories
0 references
impredicative comprehension schema
0 references
Quine-Morse set theory
0 references
