A Note on Reducible Induction Schemata

Mathematical Logic Quarterly 11 (2):121-126 (1965)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Add categories

Keywords

Reprint years

DOI

10.1002/malq.19650110207

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,031

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 Note on Reducible Induction Schemata.H. E. Rose - 1965 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 11 (2):121-126.
A note on the theory SID<ω of stratified induction.Florian Ranzi & Thomas Strahm - 2014 - Mathematical Logic Quarterly 60 (6):487-497.
A note on parameter free N1-induction and restricted exponentiation.Andrés Cordón Franco, Alejandro Fernández Margarit & F. F. Lara Martín - 2011 - Mathematical Logic Quarterly 57 (5):444-455.
Note on the E 1*‐E 2* Problem.Hans Kleine Büning - 1982 - Mathematical Logic Quarterly 28 (19):277-284.
Independent Axiom Schemata for the Pure Theory of Entailment.Alan Ross Anderson - 1960 - Mathematical Logic Quarterly 6 (1-6):93-95.
Restricted Collection and Comprehension Schemata in Weak Set Theories.Mirosław Kutyłowski - 1986 - Mathematical Logic Quarterly 32 (35‐36):545-549.
Dependence of Some Axioms of Rose.Zane Parks - 1972 - Mathematical Logic Quarterly 18 (12):189-192.
A Note on Mathematical Induction on Phrase Structure Grammars.Robert W. Floyd - 1971 - Journal of Symbolic Logic 36 (4):693-694.
Mathematical induction in ramified type theory.James R. Royse - 1969 - Mathematical Logic Quarterly 15 (1‐3):7-10.
A note on Bar Induction in Constructive Set Theory.Michael Rathjen - 2006 - Mathematical Logic Quarterly 52 (3):253-258.

Analytics

Added to PP
2013-11-24

Downloads
4 (#1,642,915)

6 months
2 (#1,259,919)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

퐸α-Arithmetic and Transfinite Induction.H. E. Rose - 1972 - Journal of Symbolic Logic 37 (1):19 - 30.

Add more citations

References found in this work

No references found.

Add more references