Mathematical induction in ramified type theory

DOI10.1002/MALQ.19690150103MaRDI QIDQ5575526zbMATH OpenOpenAlexFDO

Authors James R. Royse

Publication date 1969

Published in Mathematical Logic Quarterly (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1002/malq.19690150103

zbMATH Keywords

general logic

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Cited in

(8)

• Conditionals, quantification, and strong mathematical induction
• On Russell's principle of induction
• scientific article; zbMATH DE number 2061701 (Why is no real title available?)
• scientific article; zbMATH DE number 2152246 (Why is no real title available?)
• scientific article; zbMATH DE number 2182487 (Why is no real title available?)
• Poincaré and Prawitz on mathematical induction
• The definability of the set of natural numbers in the 1925 Principia Mathematica
• Mathematical induction in Otter-lambda

This page was built for publication: Mathematical induction in ramified type theory

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