Algebraic disguises ofΣ 1 0 induction

Archive for Mathematical Logic 29 (1):47-51 (1989)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1007/bf01630810

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,069

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

Pavelka-style completeness in expansions of Łukasiewicz logic.Hector Freytes - 2008 - Archive for Mathematical Logic 47 (1):15-23.
Kai F. Wehmeier. Fragments of HA based on Σ 1 -induction. Archive for mathematical logic, vol. 37 no. 1 (1997), pp. 37–49. [REVIEW]Helmut Pfeiffer - 2001 - Bulletin of Symbolic Logic 7 (4):532-532.
A note on the theory of positive induction, $${{\rm ID}^*_1}$$.Bahareh Afshari & Michael Rathjen - 2010 - Archive for Mathematical Logic 49 (2):275-281.
Kai F. Wehmeier. Fragments of HA based on Σ1 -induction. Archive for mathematical logic, vol. 37 no. 1 , pp. 37–49. [REVIEW]Helmut Pfeiffer - 2001 - Bulletin of Symbolic Logic 7 (4):532-532.
Fragments of [mathematical formula] based on [mathematical formula]-induction.Kai F. Wehmeier - 1997 - Archive for Mathematical Logic 36 (1).
Fragments of HA based on b-induction.Kai F. Wehmeier - 1998 - Archive for Mathematical Logic 37 (1):37-50.
Axiomatization of semigroup consequences.Wolfgang Rautenberg - 1989 - Archive for Mathematical Logic 29 (2):111-123.
Involutive symmetric Gödel spaces, their algebraic duals and logic.A. Di Nola, R. Grigolia & G. Vitale - 2023 - Archive for Mathematical Logic 62 (5):789-809.
Quantifier-free induction for lists.Stefan Hetzl & Jannik Vierling - forthcoming - Archive for Mathematical Logic:1-23.
Δ 2 0 -Mengen.Hans Georg Carstens - 1977 - Archive for Mathematical Logic 18 (1):55-65.

Analytics

Added to PP
2013-11-23

Downloads
29 (#568,790)

6 months
3 (#1,046,495)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Groundwork for weak analysis.António M. Fernandes & Fernando Ferreira - 2002 - Journal of Symbolic Logic 67 (2):557-578.
Ordered groups: A case study in reverse mathematics.Reed Solomon - 1999 - Bulletin of Symbolic Logic 5 (1):45-58.

View all 6 citations / Add more citations

References found in this work

Countable algebra and set existence axioms.Harvey M. Friedman - 1983 - Annals of Pure and Applied Logic 25 (2):141.
Factorization of polynomials and °1 induction.S. G. Simpson - 1986 - Annals of Pure and Applied Logic 31:289.

Add more references