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

Other Versions

No versions found

Links

PhilArchive



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

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.
A note on the theory of positive induction, $${{\rm ID}^*_1}$$.Bahareh Afshari & Michael Rathjen - 2010 - Archive for Mathematical Logic 49 (2):275-281.
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 - 2024 - Archive for Mathematical Logic 63 (7):813-835.

Analytics

Added to PP
2013-11-23

Downloads
37 (#599,577)

6 months
6 (#823,508)

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