Concepedia

Peano Arithmetic

Peano Arithmetic is a formal first-order theory of arithmetic that axiomatizes the properties of the natural numbers using a set of axioms comprising zero, the successor function, and definitions of addition, multiplication, and mathematical induction.

166

Publications

5.8K

Citations

193

Authors

117

Institutions

Publications per year

2017–2026

14

Variants

Pa

Parents

Publications

166

Accessible Independence Results for Peano Arithmetic

Laurie Kirby, J. B. Paris · Bulletin of the London Mathematical Society · 1982 · 283 citations

, , +13

A simplified binary arithmetic for the Fermat number transform

Lawrence M. Leibowitz · IEEE Transactions on Acoustics Speech and Signal Processing · 1976 · 229 citations

, , +9

On the Foundations of Mathematics

Eliakim Hastings Moore · Science · 1903 · 189 citations

, , +9

The Basic Laws of Arithmetic: Exposition of the System.

Robert Stoothoff, Gottlob Frege, Montgomery Furth · The Philosophical Quarterly · 1966 · 181 citations

, , +14

Inconsistent models for relevant arithmetics

Robert K. Meyer, Chris Mortensen · Journal of Symbolic Logic · 1984 · 138 citations · Full text

, , +13

1–5 of 166

Authors

193

  1. JH
    James H. Schmerl

    University of Connecticut, United States

    9 publications · 177 citations

    9

    h-index

  2. HK
    Henryk Kotlarski

    Polish Academy of Sciences, Poland

    5 publications · 139 citations

    5

    h-index

  3. AV
    Albert Visser

    Utrecht University, Netherlands

    5 publications · 203 citations

    5

    h-index

  4. LD
    Lev D. Beklemishev

    Steklov Mathematical Institute, Russia

    4 publications · 71 citations

    4

    h-index

  5. PH
    Petr Hájek

    University of Pardubice, Czechia

    3 publications · 189 citations

    3

    h-index

1–5 of 193

Institutions

117

  1. University of Notre Dame

    Notre Dame, United States

    4 h-index

    7 publications

    273 citations

  2. University of Connecticut

    Storrs, United States

    4 h-index

    4 publications

    69 citations

  3. University of Manchester

    Manchester, United Kingdom

    4 h-index

    5 publications

    778 citations

  4. Université Paris Cité

    Paris, France

    3 h-index

    3 publications

    68 citations

  5. University of Bristol

    Bristol, United Kingdom

    3 h-index

    3 publications

    181 citations

  6. University of Bern

    Bern, Switzerland

    3 h-index

    4 publications

    80 citations

  7. Purdue University West Lafayette

    West Lafayette, United States

    3 h-index

    3 publications

    68 citations

  8. Ludwig-Maximilians-Universität München

    Munich, Germany

    3 h-index

    3 publications

    42 citations

1–8 of 117

Venues

  1. Journal of Symbolic Logic

    40 publications · 1.5K citations

    20

    h-index

  2. Notre Dame Journal of Formal Logic

    15 publications · 504 citations

    12

    h-index

  3. Annals of Pure and Applied Logic

    8 publications · 198 citations

    8

    h-index

  4. The Review of Symbolic Logic

    7 publications · 126 citations

    7

    h-index

  5. Mathematical logic quarterly

    MLQ · 6 publications · 103 citations

    6

    h-index

1–5