CON(\(\mathfrak u>\mathfrak i\))
From MaRDI portal
Publication:1204107
DOI10.1007/BF01277485zbMath0785.03029MaRDI QIDQ1204107
Publication date: 1 September 1993
Published in: Archive for Mathematical Logic (Search for Journal in Brave)
03E35: Consistency and independence results
Cites Work