On the Consistency of a Positive Theory (Q4238430)
From MaRDI portal
scientific article; zbMATH DE number 1271039
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | On the Consistency of a Positive Theory |
scientific article; zbMATH DE number 1271039 |
Statements
On the Consistency of a Positive Theory (English)
0 references
15 November 1999
0 references
GPK theory
0 references
positive theory
0 references
ramifiability
0 references
tree property
0 references
inaccessible cardinals
0 references
comprehension
0 references
hyperuniverses
0 references
Kelley-Morse class theory
0 references
global choice
0 references
0 references
