Meta induction in operational set theory

zbMath1303.03077MaRDI QIDQ487220

Luis E. Sanchis

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

Mathematics Subject Classification ID

03E30: Axiomatics of classical set theory and its fragments

03E70: Nonclassical and second-order set theories