Meta induction in operational set theory
From MaRDI portal
Publication:487220
zbMath1303.03077MaRDI QIDQ487220
Publication date: 19 January 2015
Published in: The Review of Modern Logic (Search for Journal in Brave)
Full work available at URL: https://projecteuclid.org/euclid.rml/1081173836
03E30: Axiomatics of classical set theory and its fragments
03E70: Nonclassical and second-order set theories