On Principles of Inductive Definition

Mathematical Logic Quarterly 6 (15-22):248-257 (1960)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1002/malq.19600061505

Links

PhilArchive



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

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

On Principles of Inductive Definition.Bernhard Banaschewski - 1960 - Mathematical Logic Quarterly 6 (15‐22):248-257.
Monotone inductive definitions in a constructive theory of functions and classes.Shuzo Takahashi - 1989 - Annals of Pure and Applied Logic 42 (3):255-297.
Inductive definitions over a predicative arithmetic.Stanley S. Wainer & Richard S. Williams - 2005 - Annals of Pure and Applied Logic 136 (1-2):175-188.
Inductive rules are no problem.Daniel Steel - manuscript
Induction and Deduction in the Philosophy of Science: A Critical Account Since the Methodenstreit.Friedrich Stadler - 2004 - In Vienna Circle Institute Yearbook. Springer. pp. 1--15.
Weak axioms of determinacy and subsystems of analysis II.Kazuyuki Tanaka - 1991 - Annals of Pure and Applied Logic 52 (1-2):181-193.
Introduction to Inductive Reasoning.Anthony Moncrief Coyne - 1984 - Lanham, MD, USA: Upa.
A Quantum Inductive Logic.John D. Norton - unknown
Inductive rules, background knowledge, and skepticism.Daniel Steel & S. Kedzie Hall - unknown
Explanation as a guide to induction.Roger White - 2005 - Philosophers' Imprint 5:1-29.
Statistics as Inductive Inference. Romeijn, J.-W. - unknown
Inductive systematization: Definition and a critical survey.Ilkka Niiniluoto - 1972 - Synthese 25 (1-2):25 - 81.
A little survey of induction.John D. Norton - 2005 - In Peter Achinstein (ed.), Scientific Evidence: Philosophical Theories and Applications. pp. 9-34.
Inductive Inference and Stability.Peter David Turney - 1988 - Dissertation, University of Toronto (Canada)
A general formulation of simultaneous inductive-recursive definitions in type theory.Peter Dybjer - 2000 - Journal of Symbolic Logic 65 (2):525-549.

Analytics

Added to PP
2016-02-04

Downloads
37 (#423,461)

6 months
7 (#416,569)

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

No references found.

Add more references