Some new double induction and superinduction principles

DOI10.1007/BF00401551zbMATH Open0715.03019OpenAlexW2019823136MaRDI QIDQ751653FDOQ751653

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

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

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)

Cited In (4)

• A system of axiomatic set theory. Part V. General set theory (continued)
• About the some conditions of the replaceability of the double induction
• Induction principles for sets
• Title not available (Why is that?)

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)