A characterization of the [mathematical formula]-definable functions of [mathematical formula]

&
Archive for Mathematical Logic 36 (3) (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: 91,881

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.
Combinatorial characterization of [mathematical formula]-indescribability in [mathematical formula].Yoshihiro Abe - 1997 - Archive for Mathematical Logic 36 (4-5).
Wolfgang Burr and Volker Hartung. A characterization of the Σ 1 -definable functions of KPω + (uniform AC). Archive for mathematical logic, vol. 37 no. 3 (1998), pp. 199–214. - Wolfgang Burr. A Diller—Nahm-style functional interpretation of KPω. Archive for mathematical logic, vol. 39 no. 8 (2000), pp. 599–604. [REVIEW]Reinhard Kahle - 2001 - Bulletin of Symbolic Logic 7 (4):532-533.
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.
Fragments of [mathematical formula] based on [mathematical formula]-induction.Kai F. Wehmeier - 1997 - Archive for Mathematical Logic 36 (1).
A characterization of the $\Sigma_1$ -definable functions of $KP\omega + $.Wolfgang Burr & Volker Hartung - 1998 - Archive for Mathematical Logic 37 (3):199-214.
A Diller-Nahm-style functional interpretation of $\hbox{\sf KP} \omega$.Wolfgang Burr - 2000 - Archive for Mathematical Logic 39 (8):599-604.
The complexity of the core model.William J. Mitchell - 1998 - Journal of Symbolic Logic 63 (4):1393-1398.
First-order definability in modal logic.R. I. Goldblatt - 1975 - Journal of Symbolic Logic 40 (1):35-40.
Description of all functions definable by formulæ of the 2nd order intuitionistic propositional calculus on some linear Heyting algebras.Dimitri Pataraia - 2006 - Journal of Applied Non-Classical Logics 16 (3-4):457-483.
What Can Mathematical Chemistry Contribute to the Development of Mathematics?Haruo Hosoya - 2013 - Hyle 19 (1):87 - 105.
Wolfgang Burr and Volker Hartung. A characterization of the Σ 1 -definable functions of KPω + (uniform AC). Archive for mathematical logic, vol. 37 no. 3 (1998), pp. 199–214. - Wolfgang Burr. A Diller—Nahm-style functional interpretation of KPω. Archive for mathematical logic, vol. 39 no. 8 (2000), pp. 599–604. [REVIEW]Reinhard Kahle - 2001 - Bulletin of Symbolic Logic 7 (4):532-533.
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).

Analytics

Added to PP
2014-03-24

Downloads
11 (#1,137,779)

6 months
3 (#976,558)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references