Fragments of [mathematical formula] based on [mathematical formula]-induction

Archive for Mathematical Logic 36 (1) (1997)
  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: 92,682

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

On the [mathematical formula]-cub game on [mathematical formula] and [mathematical formula].Taneli Huuskonen, Tapani Hyttinen & Mika Rautila - 1999 - Archive for Mathematical Logic 38 (8):549-557.
A characterization of the [mathematical formula]-definable functions of [mathematical formula].Wolfgang Burr & Volker Hartung - 1997 - Archive for Mathematical Logic 36 (3).
The decision problem for [mathematical formula]-lattices with [mathematical formula] prime.Carlo Toffalori - 1997 - Archive for Mathematical Logic 36 (2).
Euler's?-function in the context of I? 0.Marc Jumelet - 1995 - Archive for Mathematical Logic 34 (3):197-209.
Combinatorial characterization of [mathematical formula]-indescribability in [mathematical formula].Yoshihiro Abe - 1997 - Archive for Mathematical Logic 36 (4-5).
A note on the? 2 0 -induction rule.Ulrich Kohlenbach - 1995 - Archive for Mathematical Logic 34 (4):279-283.
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 HA based on b-induction.Kai F. Wehmeier - 1998 - Archive for Mathematical Logic 37 (1):37-50.
Positive evidence in science and technology.Joseph Agassi - 1970 - Philosophy of Science 37 (2):261-270.
What Can Mathematical Chemistry Contribute to the Development of Mathematics?Haruo Hosoya - 2013 - Hyle 19 (1):87 - 105.
Advances in the ŁΠ and \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}\end{document} logics. [REVIEW]Petr Cintula - 2003 - Archive for Mathematical Logic 42 (5):449-468.
A hierarchy of filters smaller than [mathematical formula].Yoshihiro Abe - 1997 - Archive for Mathematical Logic 36 (6).
The size of $\tilde{T}$.Paul Larson - 2000 - Archive for Mathematical Logic 39 (7):541-568.
Relativized projecta and [mathematical formula]-re sets.Colin G. Bailey - 1997 - Archive for Mathematical Logic 36 (4-5).

Analytics

Added to PP
2014-03-24

Downloads
17 (#887,445)

6 months
5 (#693,173)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Kai Wehmeier
University of California, Irvine

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references