More download options

Ancestral arithmetic and Isaacson's Thesis

Analysis 68 (1):1-10 (2008) Copy BIBT_EX

Abstract

This article has no associated abstract. (fix it)

Cite

Plain text

BibTeX

Formatted text

Reference Manager

RefWorks

Options

Mark as duplicate

Find it on Scholar

Request removal from index

Revision history

Author's Profile

Peter Eldridge-Smith

Australian National University

Categories

Algebra in Philosophy of Mathematics

Areas of Mathematics, Misc in Philosophy of Mathematics

Keywords

Reprint years

DOI

10.1093/analys/68.1.1

Links

PhilArchive

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

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Sign in / register and customize your OpenURL resolver
Configure custom resolver

My notes

Sign in to use this feature

Similar books and articles

Too naturalist and not naturalist enough: Reply to Horsten.Luca Incurvati - 2008 - Erkenntnis 69 (2):261 - 274.

Challenges to predicative foundations of arithmetic.Solomon Feferman - manuscript

In defense of epistemic arithmetic.Leon Horsten - 1998 - Synthese 116 (1):1-25.

Paradox and Potential Infinity.Charles McCarty - 2013 - Journal of Philosophical Logic 42 (1):195-219.

Two Proof-Theoretic Remarks on EA + ECT.Volker Halbach & Leon Horsten - 2000 - Mathematical Logic Quarterly 46 (4):461-466.

First-order peano arithmetic.Peter Smith - unknown

The foundations of arithmetic in finite bounded Zermelo set theory.Richard Pettigrew - 2010 - Cahiers du Centre de Logique 17:99-118.

Kant and Finitism.W. W. Tait - 2016 - Journal of Philosophy 113 (5/6):261-273.

Frege’s Ancestral and Its Circularities.Ignacio Angelelli - 2012 - Logica Universalis 6 (3-4):477-483.

Classical arithmetic as part of intuitionistic arithmetic.Michael Potter - 1998 - Grazer Philosophische Studien 55 (1):127-41.

Equivalence of F with a sub-theory of peano arithmetic.Andrew Boucher - manuscript

Models of arithmetic and upper Bounds for arithmetic sets.Alistair H. Lachlan & Robert I. Soare - 1994 - Journal of Symbolic Logic 59 (3):977-983.

Realizability semantics for quantified modal logic: Generalizing flagg’s 1985 construction.Benjamin G. Rin & Sean Walsh - 2016 - Review of Symbolic Logic 9 (4):752-809.

General arithmetic.Andrew Boucher - manuscript

Arabic Arithmetic. The Arithmetic of Abū al-Wafā\??\ al-Būzajānī MSS. Or. 103 Leiden & 42 M Cairo\??\ and The Arithmetic of al-Karajī , MS 855 Istanbul. A. S. Saidan. [REVIEW]David A. King - 1973 - Isis 64 (1):123-125.

Analytics

Added to PP
2009-01-28

Downloads
422 (#44,348)

6 months
5 (#544,079)

Historical graph of downloads

How can I increase my downloads?

Author's Profile

Peter Eldridge-Smith

Australian National University

Citations of this work

Stable and Unstable Theories of Truth and Syntax.Beau Madison Mount & Daniel Waxman - 2021 - Mind 130 (518):439-473.

Conservative deflationism?Julien Murzi & Lorenzo Rossi - 2020 - Philosophical Studies 177 (2):535-549.

Carnap on extremal axioms, "completeness of the models," and categoricity.Georg Schiemer - 2012 - Review of Symbolic Logic 5 (4):613-641.

A defense of Isaacson’s thesis, or how to make sense of the boundaries of finite mathematics.Pablo Dopico - 2024 - Synthese 203 (2):1-22.

Axiomatizations of arithmetic and the first-order/second-order divide.Catarina Dutilh Novaes - 2019 - Synthese 196 (7):2583-2597.

View all 7 citations / Add more citations

References found in this work

A homogeneous system for formal logic.R. M. Martin - 1943 - Journal of Symbolic Logic 8 (1):1-23.

A derivation of number theory from ancestral theory.John Myhill - 1952 - Journal of Symbolic Logic 17 (3):192-197.

A homogeneous system for formal logic.R. M. Martin - 1943 - Journal of Symbolic Logic 8 (1):1-23.

A note on nominalism and recursive functions.R. M. Martin - 1949 - Journal of Symbolic Logic 14 (1):27-31.

Add more references