Parameter‐Free Universal Induction

Mathematical Logic Quarterly 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

Other Versions

reprint Kaye, Richard (1989) "Parameter-Free Universal Induction". Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 35(5):443-456

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 100,619

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 A Problem Concerning Parameter Free Induction.Z. Adamowicz & C. Dimitracopoulos - 1991 - Mathematical Logic Quarterly 37 (23‐24):363-366.
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.
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.
Universal Induction and True Universal Arithmetic.Teresa Bigorajska - 1994 - Mathematical Logic Quarterly 40 (1):103-105.
On parameter free induction schemas.R. Kaye, J. Paris & C. Dimitracopoulos - 1988 - Journal of Symbolic Logic 53 (4):1082-1097.
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.
Mathematical induction in ramified type theory.James R. Royse - 1969 - Mathematical Logic Quarterly 15 (1‐3):7-10.
Sequence encoding without induction.Emil Jeřábek - 2012 - Mathematical Logic Quarterly 58 (3):244-248.
Bowtie‐free graphs and generic automorphisms.Daoud Siniora - 2023 - Mathematical Logic Quarterly 69 (2):221-230.

Analytics

Added to PP
2013-12-01

Downloads
18 (#1,099,058)

6 months
1 (#1,900,278)

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