Parameter-Free Universal Induction

Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 35 (5):443-456 (1989)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Add categories

Keywords

Reprint years

DOI

10.1002/malq.19890350511

Links

PhilArchive



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

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

Parameter‐Free Universal Induction.Richard Kaye - 1989 - Mathematical Logic Quarterly 35 (5):443-456.
On parameter free induction schemas.R. Kaye, J. Paris & C. Dimitracopoulos - 1988 - Journal of Symbolic Logic 53 (4):1082-1097.
Parameter-free polymorphic types.Klaus Aehlig - 2008 - Annals of Pure and Applied Logic 156 (1):3-12.
Diophantine Induction.Richard Kaye - 1990 - Annals of Pure and Applied Logic 46 (1):1-40.
Universal Induction and True Universal Arithmetic.Teresa Bigorajska - 1994 - Mathematical Logic Quarterly 40 (1):103-105.
A note on parameter free Π1 -induction and restricted exponentiation.A. Cordón-Franco, A. Fernández-Margarit & F. F. Lara-Martín - 2011 - Mathematical Logic Quarterly 57 (5):444-455.
Fragments of Arithmetic and true sentences.Andrés Cordón-Franco, Alejandro Fernández-Margarit & F. Félix Lara-Martín - 2005 - Mathematical Logic Quarterly 51 (3):313-328.
On A Problem Concerning Parameter Free Induction.Z. Adamowicz & C. Dimitracopoulos - 1991 - Mathematical Logic Quarterly 37 (23‐24):363-366.
There Are No Universal Rules for Induction.John D. Norton - 2010 - Philosophy of Science 77 (5):765-777.
Local induction and provably total computable functions.Andrés Cordón-Franco & F. Félix Lara-Martín - 2014 - Annals of Pure and Applied Logic 165 (9):1429-1444.
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.
On the limit existence principles in elementary arithmetic and Σ n 0 -consequences of theories.Lev D. Beklemishev & Albert Visser - 2005 - Annals of Pure and Applied Logic 136 (1-2):56-74.
Effective topological spaces II: A hierarchy.Iraj Kalantari & Galen Weitkamp - 1985 - Annals of Pure and Applied Logic 29 (2):207-224.
A material dissolution of the problem of induction.John D. Norton - 2014 - Synthese 191 (4):1-20.
On the induction schema for decidable predicates.Lev D. Beklemishev - 2003 - Journal of Symbolic Logic 68 (1):17-34.

Analytics

Added to PP
2015-12-02

Downloads
28 (#538,947)

6 months
2 (#1,157,335)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Hilbert's tenth problem for weak theories of arithmetic.Richard Kaye - 1993 - Annals of Pure and Applied Logic 61 (1-2):63-73.
Algebraic combinatorics in bounded induction.Joaquín Borrego-Díaz - 2021 - Annals of Pure and Applied Logic 172 (2):102885.

Add more citations

References found in this work

No references found.

Add more references