Meta induction in operational set theory

MaRDI QIDQ487220zbMATHFDO

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)