Fragments of HA Based on Σ 1 -Induction

Bulletin of Symbolic Logic 7 (4):532-532 (2001)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

Links

PhilArchive



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

External links

  • This entry has no external links. Add one.
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

Fragments of HA based on b-induction.Kai F. Wehmeier - 1998 - Archive for Mathematical Logic 37 (1):37-50.
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.
Some Results on LΔ — n+1.Alejandro Fernández Margarit & F. Félix Lara Martin - 2001 - Mathematical Logic Quarterly 47 (4):503-512.
Fragments of [mathematical formula] based on [mathematical formula]-induction.Kai F. Wehmeier - 1997 - Archive for Mathematical Logic 36 (1).
The joint embedding property in normal open induction.Margarita Otero - 1993 - Annals of Pure and Applied Logic 60 (3):275-290.
Fragments of... based on..Kai F. Wehmeier - 1997 - Archive for Mathematical Logic 37 (1).
A Note on Recursive Models of Set Theories.Domenico Zambella & Antonella Mancini - 2001 - Notre Dame Journal of Formal Logic 42 (2):109-115.
The minimal e-degree problem in fragments of Peano arithmetic.M. M. Arslanov, C. T. Chong, S. B. Cooper & Y. Yang - 2005 - Annals of Pure and Applied Logic 131 (1-3):159-175.
Induction and inference to the best explanation.Ruth Weintraub - 2013 - Philosophical Studies 166 (1):203-216.
On the quantifier complexity of Δ n+1 (T)– induction.A. Cordón-Franco, A. Fernández-Margarit & F. F. Lara-Martín - 2004 - Archive for Mathematical Logic 43 (3):371-398.
Interpolation in Fragments of Intuitionistic Propositional Logic.Gerard R. Renardel De Lavalette - 1989 - Journal of Symbolic Logic 54 (4):1419 - 1430.
Induction and objectivity.F. John Clendinnen - 1966 - Philosophy of Science 33 (3):215-229.
Interpolation in fragments of intuitionistic propositional logic.Gerard R. Renardel de Lavalette - 1989 - Journal of Symbolic Logic 54 (4):1419-1430.
A note on finiteness in the predicative foundations of arithmetic.Fernando Ferreira - 1999 - Journal of Philosophical Logic 28 (2):165-174.
On the general form of the Grue Paradox.Chaohui Zhuang - manuscript

Analytics

Added to PP
2015-02-06

Downloads
0

6 months
0

Historical graph of downloads

Sorry, there are not enough data points to plot this chart.
How can I increase my downloads?

Author's Profile

Kai Wehmeier
University of California, Irvine

Citations of this work

Quick cut-elimination for strictly positive cuts.Toshiyasu Arai - 2011 - Annals of Pure and Applied Logic 162 (10):807-815.
Elementary arithmetic.Geoffrey E. Ostrin & Stanley S. Wainer - 2005 - Annals of Pure and Applied Logic 133 (1):275-292.
Homomorphisms and chains of Kripke models.Morteza Moniri & Mostafa Zaare - 2011 - Archive for Mathematical Logic 50 (3-4):431-443.
Extracting Algorithms from Intuitionistic Proofs.Fernando Ferreira & António Marques - 1998 - Mathematical Logic Quarterly 44 (2):143-160.

Add more citations

References found in this work

No references found.

Add more references