A recursive model for arithmetic with weak induction

&
Journal of Symbolic Logic 50 (1):49-54 (1985)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2273787

Links

PhilArchive



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

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

Provable equality in primitive recursive arithmetic with and without induction.Harvey Friedman - 1975 - Pacific Journal of Mathematics 57 (2):379-392.
Weak theories of nonstandard arithmetic and analysis.Jeremy Avigad - manuscript
On a Theory for AC0 and the Strength of the Induction Scheme.Satoru Kuroda - 1998 - Mathematical Logic Quarterly 44 (3):417-426.
Some conservation results on weak König's lemma.Stephen G. Simpson, Kazuyuki Tanaka & Takeshi Yamazaki - 2002 - Annals of Pure and Applied Logic 118 (1-2):87-114.
On the complexity of models of arithmetic.Kenneth McAloon - 1982 - Journal of Symbolic Logic 47 (2):403-415.
Asymmetric Interpretations for Bounded Theories.Andrea Cantini - 1996 - Mathematical Logic Quarterly 42 (1):270-288.
Is there an inconsistent primitive recursive relation?Seungrak Choi - 2022 - Synthese 200 (5):1-12.
On Herbrand consistency in weak arithmetic.Zofia Adamowicz & Paweł Zbierski - 2001 - Archive for Mathematical Logic 40 (6):399-413.
L i D Z λ as a basis for PRA.Uwe Petersen - 2003 - Archive for Mathematical Logic 42 (7):665-694.
LiDZλ as a basis for PRA.Uwe Petersen - 2003 - Archive for Mathematical Logic 42 (7):665-694.
A Recursive Nonstandard Model Of Normal Open Induction.Alessandro Berarducci & Margarita Otero - 1996 - Journal of Symbolic Logic 61 (3):1228-1241.
A recursive nonstandard model of normal open induction.Alessandro Berarducci & Margarita Otero - 1996 - Journal of Symbolic Logic 61 (4):1228-1241.
Fragments of Heyting arithmetic.Wolfgang Burr - 2000 - Journal of Symbolic Logic 65 (3):1223-1240.
Transfinite induction within Peano arithmetic.Richard Sommer - 1995 - Annals of Pure and Applied Logic 76 (3):231-289.
An Independence Result on Weak Second Order Bounded Arithmetic.Satoru Kuroda - 2001 - Mathematical Logic Quarterly 47 (2):183-186.

Analytics

Added to PP
2009-01-28

Downloads
57 (#280,725)

6 months
20 (#130,544)

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