Relative consistency of the general axiom of superuniversality for sets, \(n\)-tuples and operations (Q1312954)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Relative consistency of the general axiom of superuniversality for sets, \(n\)-tuples and operations |
scientific article |
Statements
Relative consistency of the general axiom of superuniversality for sets, \(n\)-tuples and operations (English)
0 references
24 February 1994
0 references
axioms of free construction
0 references
theory with pairs, \(n\)-tuples and operations as primitive objects
0 references
relative consistency
0 references
