Euler's?-function in the context of I? 0

Archive for Mathematical Logic 34 (3):197-209 (1995)
  Copy   BIBTEX

Abstract

It is demonstrated that we can represent Euler's φ-function by means of a Δ0-formula in such a way that the theory IΔ 0 proves the recursion equations that are characteristic for this function.

Categories

Add categories

Keywords

Reprint years

DOI

10.1007/bf01375521

Links

PhilArchive



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

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).
Euler'sϕ-function in the context of IΔ 0.Marc Jumelet - 1995 - Archive for Mathematical Logic 34 (3):197-209.
The decision problem for [mathematical formula]-lattices with [mathematical formula] prime.Carlo Toffalori - 1997 - Archive for Mathematical Logic 36 (2).
Combinatorial characterization of [mathematical formula]-indescribability in [mathematical formula].Yoshihiro Abe - 1997 - Archive for Mathematical Logic 36 (4-5).
Fragments of [mathematical formula] based on [mathematical formula]-induction.Kai F. Wehmeier - 1997 - Archive for Mathematical Logic 36 (1).
The function [mathematical formula] in sharply bounded arithmetic.Mitsuru Tada & Makoto Tatsuta - 1997 - Archive for Mathematical Logic 36 (1).
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.
A note on the? 2 0 -induction rule.Ulrich Kohlenbach - 1995 - Archive for Mathematical Logic 34 (4):279-283.
Relativized projecta and [mathematical formula]-re sets.Colin G. Bailey - 1997 - Archive for Mathematical Logic 36 (4-5).
Ordinal arithmetic and [mathematical formula]-elementarity.Timothy J. Carlson - 1999 - Archive for Mathematical Logic 38 (7):449-460.

Analytics

Added to PP
2014-03-26

Downloads
12 (#1,058,801)

6 months
4 (#790,687)

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

Local behaviour of the chebyshev theorem in models of iδ.Paola D'Aquino - 1992 - Journal of Symbolic Logic 57 (1):12 - 27.

View all 6 references / Add more references