Fragments of HA based on b-induction

Archive for Mathematical Logic 37 (1):37-50 (1998)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 90,616

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

Similar books and articles

A Note on Recursive Models of Set Theories.Domenico Zambella & Antonella Mancini - 2001 - Notre Dame Journal of Formal Logic 42 (2):109-115.
Fragments of... based on..Kai F. Wehmeier - 1997 - Archive for Mathematical Logic 37 (1).
Induction and inference to the best explanation.Ruth Weintraub - 2013 - Philosophical Studies 166 (1):203-216.
Induction and objectivity.F. John Clendinnen - 1966 - Philosophy of Science 33 (3):215-229.
A note on finiteness in the predicative foundations of arithmetic.Fernando Ferreira - 1999 - Journal of Philosophical Logic 28 (2):165-174.
Fragments of $HA$ based on $\Sigma_1$ -induction.Kai F. Wehmeier - 1997 - Archive for Mathematical Logic 37 (1):37-49.
First order common knowledge logics.Frank Wolter - 2000 - Studia Logica 65 (2):249-271.

Analytics

Added to PP
2014-03-22

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.
Extracting Algorithms from Intuitionistic Proofs.Fernando Ferreira & António Marques - 1998 - Mathematical Logic Quarterly 44 (2):143-160.
Homomorphisms and chains of Kripke models.Morteza Moniri & Mostafa Zaare - 2011 - Archive for Mathematical Logic 50 (3-4):431-443.

Add more citations

References found in this work

No references found.

Add more references