On the public citation graph

Predicative foundations of arithmetic

0 signed · 52 inferred · view as graph

Inferred edges come from two machine sources: sweeps of open repository metadata (mostly SSRN and Zenodo), and a bulk OpenAlex citation snapshot. Every row below is labelled with the one it came from. Neither is a complete citation index — absence here is not evidence of absence.

Is this your work? Sign in with ORCID and put your name on the claims that are yours.

Claim with ORCID

Reference health. See whether every reference in this work resolves to a known work and none has been retracted — and get a dated CiteStamped badge you can embed.

See reference health

What this work says

Outgoing claims: the papers this work cites, builds on, or argues with.

inferredcites →https://doi.org/10.1007/978-1-4684-9452-5openalex-snapshot

Mathematical Logic

inferredcites →https://doi.org/10.1007/978-3-663-19573-3_1openalex-snapshot

Was sind und was sollen die Zahlen?

inferredcites →https://doi.org/10.1016/0168-0072(85)90030-2openalex-snapshot

Fragments of arithmetic

inferredcites →https://doi.org/10.1016/s0049-237x(08)71190-xopenalex-snapshot

Autonomous Transfinite Progressions and the Extent of Predicative Mathematics

inferredcites →https://doi.org/10.1016/s0049-237x(09)70552-xopenalex-snapshot

Arithmetical Truth and Hidden Higher-Order Concepts

inferredcites →https://doi.org/10.1017/cbo9781139237314openalex-snapshot

Was sind und was sollen die Zahlen?

inferredcites →https://doi.org/10.1111/j.1468-0149.1991.tb02230.xopenalex-snapshot

Mathematics Without Numbers: Towards a Modal‐Structural Interpretation

inferredcites →https://doi.org/10.1515/9781400858927openalex-snapshot

Predicative Arithmetic. (MN-32)

inferredcites →https://doi.org/10.2307/2185879openalex-snapshot

Foundations without Foundationalism: A Case for Second-Order Logic.

inferredcites →https://doi.org/10.2307/2185960openalex-snapshot

Mathematics without Numbers: Towards a Modal-Structural Interpretation.

inferredcites →https://doi.org/10.2307/2267646openalex-snapshot

A relative consistency proof

inferredcites →https://doi.org/10.2307/2269764openalex-snapshot

Systems of predicative analysis

What points at this work

Incoming claims: where this work appears in other papers’ reference lists and arguments.

inferred← citeshttps://doi.org/10.1007/978-3-030-84706-7_6openalex-snapshot

Structural Relativity and Informal Rigour

inferred← citeshttps://doi.org/10.1007/978-3-031-66452-6_8openalex-snapshot

The Mereological Foundation of Megethology

inferred← citeshttps://doi.org/10.1007/978-3-032-05839-3_1openalex-snapshot

Introduction: From Dissent to Dismissal: Brouwer’s Journey in Mathematical Annals

inferred← citeshttps://doi.org/10.1007/978-3-319-63334-3_15openalex-snapshot

Predicativity and Feferman

inferred← citeshttps://doi.org/10.1007/978-3-319-63334-3_7openalex-snapshot

Predicativity and Regions-Based Continua

inferred← citeshttps://doi.org/10.1007/978-3-319-90983-7_11openalex-snapshot

Takeuti’s Well-Ordering Proof: Finitistically Fine?

inferred← citeshttps://doi.org/10.1007/978-94-007-0431-2_1openalex-snapshot

Foundational Frameworks

inferred← citeshttps://doi.org/10.1007/978-94-007-4435-6_17openalex-snapshot

Second Order Logic, Set Theory and Foundations of Mathematics

inferred← citeshttps://doi.org/10.1007/s10992-015-9373-7openalex-snapshot

The Mereological Foundation of Megethology

inferred← citeshttps://doi.org/10.1007/s10992-023-09707-6openalex-snapshot

Internal Categoricity, Truth and Determinacy

inferred← citeshttps://doi.org/10.1007/s10992-025-09812-8openalex-snapshot

Is (Un)Countabilism Restrictive?

inferred← citeshttps://doi.org/10.1007/s11229-004-6204-8openalex-snapshot

Amending Frege’s Grundgesetze der Arithmetik

inferred← citeshttps://doi.org/10.1007/s11229-022-03908-3openalex-snapshot

From philosophical traditions to scientific developments: reconsidering the response to Brouwer’s intuitionism

inferred← citeshttps://doi.org/10.1017/9781009227223openalex-snapshot

Iterative Conceptions of Set

inferred← citeshttps://doi.org/10.1017/9781108582933openalex-snapshot

Mathematical Structuralism

inferred← citeshttps://doi.org/10.1017/9781108657419.002openalex-snapshot

Structuralism without Structures

inferred← citeshttps://doi.org/10.1017/9781108657419.009openalex-snapshot

Challenges to Predicative Foundations of Arithmetic

inferred← citeshttps://doi.org/10.1017/9781108657419.010openalex-snapshot

Predicativism as a Philosophical Position

inferred← citeshttps://doi.org/10.1017/cbo9780511498534openalex-snapshot

Mathematical Thought and its Objects

inferred← citeshttps://doi.org/10.1017/cbo9780511570681.017openalex-snapshot

Challenges to Predicative Foundations of Arithmetic

inferred← citeshttps://doi.org/10.1017/s1755020321000423openalex-snapshot

PREDICATIVISM AS A FORM OF POTENTIALISM

inferred← citeshttps://doi.org/10.1017/s1755020323000126openalex-snapshot

VARIETIES OF CLASS-THEORETIC POTENTIALISM

inferred← citeshttps://doi.org/10.1023/a:1004377219147openalex-snapshot

A Note on Finiteness in the Predicative Foundations of Arithmetic

inferred← citeshttps://doi.org/10.1023/a:1005610001124openalex-snapshot

Reductionism as Resource-Conscious Reasoning

inferred← citeshttps://doi.org/10.1093/0195148770.001.0001openalex-snapshot

The Oxford Handbook of Philosophy of Mathematics and Logic

inferred← citeshttps://doi.org/10.1093/oso/9780199278343.003.0001openalex-snapshot

Generality and Objectivity in Frege’sFoundations of Arithmetic

inferred← citeshttps://doi.org/10.1093/oxfordhb/9780195325928.003.0005openalex-snapshot

The Logicism of Frege, Dedekind, and Russell

inferred← citeshttps://doi.org/10.1093/oxfordhb/9780195325928.003.0017openalex-snapshot

Structuralism

inferred← citeshttps://doi.org/10.1093/oxfordhb/9780195325928.003.0019openalex-snapshot

Predicativity

inferred← citeshttps://doi.org/10.1093/philmat/4.2.100openalex-snapshot

Structuralism Without Structures

inferred← citeshttps://doi.org/10.1093/philmat/nkae021openalex-snapshot

A.C. Paseau and Wesley Wrigley The Euclidean Programme

inferred← citeshttps://doi.org/10.1111/1468-0378.00194openalex-snapshot

Reviews

inferred← citeshttps://doi.org/10.1111/phc3.12229openalex-snapshot

Second‐Order Logic and Set Theory

inferred← citeshttps://doi.org/10.1111/theo.12237openalex-snapshot

Tracing Internal Categoricity

inferred← citeshttps://doi.org/10.1305/ndjfl/1039293018openalex-snapshot

Predicative Logic and Formal Arithmetic

inferred← citeshttps://doi.org/10.1515/9783110324907.31openalex-snapshot

A New Approach to Predicative Set Theory

inferred← citeshttps://doi.org/10.17863/cam.15911openalex-snapshot

A defence of predicativism as a philosophy of mathematics

inferred← citeshttps://doi.org/10.2178/bsl/1082986260openalex-snapshot

Predicative Fragments of Frege Arithmetic

inferred← citeshttps://doi.org/10.3917/rip.229.0295openalex-snapshot

Predicativism as a Philosophical Position

inferred← citeshttps://doi.org/10.7939/r31v5bn67openalex-snapshot

The Status of Mathematical Induction in an Axiomatic System

Editorial review for independent work. ICSAC — the Institute for Complexity Science and Advanced Computing — runs a structured editorial panel for researchers publishing outside journals, and publishes on CiteStamp rails. Submission is free and goes through ORCID: icsacinstitute.org/submit.