Relative consistency of the general axiom of superuniversality for sets, \(n\)-tuples and operations (Q1312954)
From MaRDI portal
| This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Relative consistency of the general axiom of superuniversality for sets, \(n\)-tuples and operations |
scientific article; zbMATH DE number 495904
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Relative consistency of the general axiom of superuniversality for sets, \(n\)-tuples and operations |
scientific article; zbMATH DE number 495904 |
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