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,423

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

Euler's $\varphi$ -function in the context of ${\rm I}\Delta_0$.Marc Jumelet - 1995 - Archive for Mathematical Logic 34 (3):197-209.
Euler’s visual logic.Eric Hammer & Sun-Joo Shin - 1998 - History and Philosophy of Logic 19 (1):1-29.
Review: S. Pankajam, On Euler's $phi$-Function and its Extensions. [REVIEW]Alonzo Church - 1936 - Journal of Symbolic Logic 1 (3):118-118.
Combinatorics with definable sets: Euler characteristics and grothendieck rings.Jan Krajíček & Thomas Scanlon - 2000 - Bulletin of Symbolic Logic 6 (3):311-330.
Leonhard Euler: Letters to a German princess (1760-1762). Euler - 2009 - In Eric Watkins (ed.), Kant's Critique of Pure Reason: Background Source Materials. Cambridge University Press.
Artifact Categorization and the Modal Theory of Artifact Function.Bence Nanay - 2013 - Review of Philosophy and Psychology 4 (3):515-526.
Euler Y Kant: EI espacio absoluto (1).Carlos Minguez - 1985 - Theoria 1 (2):411-438.
Function attribution depends on the explanatory context: A Reply to Neander and Rosenberg's Reply to Nanay.Bence Nanay - 2012 - Journal of Philosophy 109 (10):623-627.
Function, modality, mental content.Bence Nanay - 2011 - Journal of Mind and Behavior 32 (2):84-87.
A Diagrammatic Inference System with Euler Circles.Koji Mineshima, Mitsuhiro Okada & Ryo Takemura - 2012 - Journal of Logic, Language and Information 21 (3):365-391.
A competitive test of the descriptive accuracy of the characteristic function, power function, and shapley value based function.Melvin M. Sakurai - 1980 - Theory and Decision 12 (3):259-278.
Private Information and the 'Information Function': A Survey of Possible Uses. [REVIEW]Emmanuel Haven - 2008 - Theory and Decision 64 (2-3):193-228.

Analytics

Added to PP
2013-11-23

Downloads
13 (#1,013,785)

6 months
2 (#1,240,909)

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

Models of Peano Arithmetic.Richard Kaye - 1991 - Clarendon Press.
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