A consistency result of the system Z \(+\) the replacement axiom schema of \(\Sigma_ n\)-formulas
From MaRDI portal
Publication:923081
zbMath0712.03043MaRDI QIDQ923081
Publication date: 1990
Published in: Chinese Science Bulletin (Search for Journal in Brave)
03E35: Consistency and independence results
Related Items