Mathematical induction in ramified type theory

Mathematical Logic Quarterly 15 (1‐3):7-10 (1969)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1002/malq.19690150103

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,386

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

A modern elaboration of the ramified theory of types.Twan Laan & Rob Nederpelt - 1996 - Studia Logica 57 (2-3):243 - 278.
The Fact Semantics for Ramified Type Theory and the Axiom of Reducibility.Edwin D. Mares - 2007 - Notre Dame Journal of Formal Logic 48 (2):237-251.
Handbook of Mathematical Induction: Theory and Applications.David S. Gunderson - 2010 - Chapman & Hall/Crc.
Cumulative versus Noncumulative Ramified Types.Anthony F. Peressini - 1997 - Notre Dame Journal of Formal Logic 38 (3):385-397.
Set-Theoretic Foundations.Stewart Shapiro - 2000 - The Proceedings of the Twentieth World Congress of Philosophy 6:183-196.
A correspondence between Martin-löf type theory, the ramified theory of types and pure type systems.Fairouz Kamareddine & Twan Laan - 2001 - Journal of Logic, Language and Information 10 (3):375-402.
A weak ramified type theory.W. A. van der Moore - 1968 - In P. Braffort & F. van Scheepen (eds.), Automation in language translation and theorem proving. Brussels,: Commission of the European Communities, Directorate-General for Dissemination of Information.
Induction and foundation in the theory of hereditarily finite sets.Flavio Previale - 1994 - Archive for Mathematical Logic 33 (3):213-241.
A note on Bar Induction in Constructive Set Theory.Michael Rathjen - 2006 - Mathematical Logic Quarterly 52 (3):253-258.
The strength of some Martin-Löf type theories.Edward Griffor & Michael Rathjen - 1994 - Archive for Mathematical Logic 33 (5):347-385.
A material dissolution of the problem of induction.John D. Norton - 2014 - Synthese 191 (4):1-20.
Elementary induction on abstract structures.Yiannis Nicholas Moschovakis - 1974 - Mineola, N.Y.: Dover Publications.
O indukcji niezupełnej w matematyce.Lech Gruszecki - 2005 - Roczniki Filozoficzne 53 (2):47-72.
Homotopy theoretic models of identity types.Steve Awodey & Michael A. Warren - unknown

Analytics

Added to PP
2013-11-24

Downloads
22 (#692,982)

6 months
4 (#800,606)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

Les mathématiques et la logique.H. Poincaré - 1905 - Revue de Métaphysique et de Morale 14 (3):294 - 317.
Logique.H. Poincaré - 1906 - Revue de Métaphysique et de Morale 14:294-317.

Add more references