Some new double induction and superinduction principles

DOI10.1007/BF00401551zbMATH Open0715.03019OpenAlexW2019823136MaRDI QIDQ751653FDOQ751653

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
• [[:Publication:3348948|Title not available (Why is that?)]]
• Proving open properties by induction
• [[:Publication:3778743|Title not available (Why is that?)]]
• The continuity in the inductive sets: basic concepts and auxiliary results
• Constructive order theory
• [[:Publication:4523415|Title not available (Why is that?)]]

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 (3)

• A system of axiomatic set theory. Part V. General set theory (continued)
• About the some conditions of the replaceability of the double induction
• 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)