Some new double induction and superinduction principles

DOI10.1007/BF00401551MaRDI QIDQ751653zbMATH OpenOpenAlexFDO

Authors 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

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

Recommendations

• A remark on minimal models
• When a first order \(T\) has limit models
• Maximal chains in the fundamental order
• Coordinatization in Superstable Theories. II
• scientific article; zbMATH DE number 4200267
• Proving open properties by induction
• scientific article; zbMATH DE number 4039884
• The continuity in the inductive sets: basic concepts and auxiliary results
• Constructive order theory
• scientific article; zbMATH DE number 1549855

Cited in

(4)

• About the some conditions of the replaceability of the double induction
• A system of axiomatic set theory. Part V. General set theory (continued)
• scientific article; zbMATH DE number 4033743 (Why is no real title available?)
• Induction principles for sets

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

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