Reduction of arithmetic to logic based on the theory of types without the axiom of infinity and the typical ambiguity of arithmetical constants

Studia Logica 8 (1):283 - 297 (1958)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1007/bf02126760

Links

PhilArchive



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

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

Expressing infinity without foundation.Franco Parlamento & Alberto Policriti - 1991 - Journal of Symbolic Logic 56 (4):1230-1235.
On interpretations of bounded arithmetic and bounded set theory.Richard Pettigrew - 2009 - Notre Dame Journal of Formal Logic 50 (2):141-152.
Arithmetical interpretations of dynamic logic.Petr Hájek - 1983 - Journal of Symbolic Logic 48 (3):704-713.
Frege's reduction.Patricia A. Blanchette - 1994 - History and Philosophy of Logic 15 (1):85-103.
Typical ambiguity: Trying to have your cake and eat it too.Solomon Feferman - manuscript
Typical ambiguity and the axiom of choice.Marcel Crabbé - 1984 - Journal of Symbolic Logic 49 (4):1074-1078.
A generalization of Specker's theorem on typical ambiguity.Richard Kaye - 1991 - Journal of Symbolic Logic 56 (2):458-466.
The development of arithmetic in Frege's Grundgesetze der Arithmetik.Richard Heck - 1993 - Journal of Symbolic Logic 58 (2):579-601.
Frege, Kant, and the logic in logicism.John MacFarlane - 2002 - Philosophical Review 111 (1):25-65.
A characterization of ML in many-sorted arithmetic with conditional application.M. D. G. Swaen - 1992 - Journal of Symbolic Logic 57 (3):924 - 953.

Analytics

Added to PP
2009-01-28

Downloads
58 (#265,779)

6 months
3 (#902,269)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Hilbert arithmetic as a Pythagorean arithmetic: arithmetic as transcendental.Vasil Penchev - 2021 - Philosophy of Science eJournal (Elsevier: SSRN) 14 (54):1-24.

Add more citations

References found in this work

On proper quantifiers, part II.L. Borkowski - 1960 - Studia Logica 10:7-26.

Add more references