Concepedia

Theories Of Arithmetic

Theories of Arithmetic is a first-order logical theory that formalizes properties and relations of natural numbers through a set of axioms and inference rules, distinguished from other arithmetical systems by its specific language, recursive structure, and adherence to classical logic.

320

Publications

14.6K

Citations

358

Authors

183

Institutions

Publications per year

2017–2026

16

Variants

Arithmetical Theories

Parents

Publications

320

Introduction to Mathematical Logic.

Angelo Margaris, Alonzo Church · American Mathematical Monthly · 1957 · 935 citations

, , +15

The Foundations of Arithmetic. A Logico-Mathematical Enquiry into the Concept of Number.

E. N., Gottlob Frege, J. L. Austin · The Journal of Philosophy · 1951 · 630 citations

, , +16

Intensional interpretations of functionals of finite type I

W. W. Tait · Journal of Symbolic Logic · 1967 · 557 citations

, , +13

Recursive predicates and quantifiers

S. C. Kleene · Transactions of the American Mathematical Society · 1943 · 341 citations · Full text

, , +7

Transfinite recursive progressions of axiomatic theories

Solomon Feferman · Journal of Symbolic Logic · 1962 · 337 citations

, , +11

1–5 of 320

Authors

358

  1. AV
    Albert Visser

    Utrecht University, Netherlands

    5 publications · 133 citations

    5

    h-index

  2. JA
    Jeremy Avigad

    Carnegie Mellon University, United States

    5 publications · 118 citations

    5

    h-index

  3. LD
    Lev D. Beklemishev

    Steklov Mathematical Institute, Russia

    5 publications · 67 citations

    5

    h-index

  4. SF
    Solomon Feferman

    Stanford University, United States

    4 publications · 476 citations

    4

    h-index

  5. SC
    S. C. Kleene

    University of Wisconsin–Madison, United States

    4 publications · 623 citations

    4

    h-index

1–5 of 358

Institutions

183

  1. Utrecht University

    Utrecht, The Netherlands

    9 h-index

    9 publications

    267 citations

  2. Stanford University

    Stanford, United States

    8 h-index

    9 publications

    1.2K citations

  3. University of Toronto

    Toronto, Canada

    6 h-index

    9 publications

    493 citations

  4. Carnegie Mellon University

    Pittsburgh, United States

    5 h-index

    5 publications

    118 citations

  5. Czech Academy of Sciences, Institute of Mathematics

    Prague, Czechia

    5 h-index

    7 publications

    344 citations

  6. Steklov Mathematical Institute

    Moscow, Russia

    5 h-index

    5 publications

    90 citations

  7. University at Buffalo, State University of New York

    Buffalo, United States

    5 h-index

    5 publications

    130 citations

  8. University of Edinburgh

    Edinburgh, United Kingdom

    5 h-index

    7 publications

    169 citations

1–8 of 183

Venues

  1. Journal of Symbolic Logic

    77 publications · 3.9K citations

    32

    h-index

  2. Notre Dame Journal of Formal Logic

    18 publications · 570 citations

    14

    h-index

  3. Annals of Pure and Applied Logic

    17 publications · 738 citations

    13

    h-index

  4. Mathematical logic quarterly

    MLQ · 13 publications · 385 citations

    12

    h-index

  5. The Review of Symbolic Logic

    12 publications · 281 citations

    11

    h-index

1–5