Meta induction in operational set theory

zbMATH Open1303.03077MaRDI QIDQ487220FDOQ487220

Authors: 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

Nonclassical and second-order set theories (03E70) Axiomatics of classical set theory and its fragments (03E30)

This page was built for publication: Meta induction in operational set theory

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q487220)