CON(\(\mathfrak u>\mathfrak i\)) (Q1204107)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | CON(\(\mathfrak u>\mathfrak i\)) |
scientific article |
Statements
CON(\(\mathfrak u>\mathfrak i\)) (English)
0 references
1 September 1993
0 references
consistency
0 references
