Some new double induction and superinduction principles

DOI10.1007/BF00401551zbMath0715.03019OpenAlexW2019823136MaRDI QIDQ751653

Raymond M. Smullyan

Publication date: 1990

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf00401551

zbMATH Keywords

ordinal numberstransfinite inductionwell-orderingsuperinductive class

Mathematics Subject Classification ID

Axiomatics of classical set theory and its fragments (03E30) Ordinal and cardinal numbers (03E10) Axiom of choice and related propositions (03E25)

This page was built for publication: Some new double induction and superinduction principles