Induction On Integers

Induction On Integers is a proof method in mathematical logic that belongs to the class of induction principles and is distinguished by its application to propositions indexed over the integers, proceeding from a base case and establishing the truth of a statement for all integers by verifying its invariance under incremental steps.

7

Publications

265

Citations

8

Authors

8

Institutions

Publications per year

2017–2026

0

Authors

8

  1. RH
    Robert H. Ennis

    University of Illinois Urbana-Champaign, United States

    1 publications · 85 citations

    1

    h-index

  2. AN
    Aleksandar Nikolov

    Rutgers, The State University of New Jersey, United States

    1 publications · 25 citations

    1

    h-index

  3. HR
    He Rui

    Shanghai Children's Medical Center, China

    1 publications · 11 citations

    1

    h-index

  4. AN
    Alantha Newman

    Princeton University, United States

    1 publications · 25 citations

    1

    h-index

  5. NJ
    N Julien

    Hôpital Beaujon, France

    1 publications · 10 citations

    1

    h-index

1–5 of 8

Venues

  1. ArXiv.org

    Repository · 1 publications · 11 citations

    1

    h-index

  2. The Journal of Philosophy

    1 publications · 85 citations

    1

    h-index

  3. Canadian Journal of Mathematics

    1 publications · 10 citations

    1

    h-index

  4. Choice Reviews Online

    CRO · 1 publications · 62 citations

    1

    h-index

  5. 1

    h-index

1–5