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

    This entry is not archived by us. If you are the author and have permission from the publisher, we recommend that you archive it. Many publishers automatically grant permission to authors to archive pre-prints. By uploading a copy of your work, you will enable us to better index it, making it easier to find.

    Upload a copy of this work     Papers currently archived: 105,768

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
20 (#1,138,484)

6 months
2 (#1,362,515)

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