Induction On Sequences

Induction On Sequences is a mathematical proof technique that belongs to the broader class of inductive methods and is specifically characterized by its application to propositions indexed over ordered sequences, where the truth of a statement for a particular element in the sequence is established by assuming its truth for all preceding elements.

3

Publications

178

Citations

4

Authors

4

Institutions

Publications per year

2017–2026

0

Authors

4

  1. BB
    Bob Burn

    UNSW Sydney, Australia

    1 publications · 24 citations

    1

    h-index

  2. GK
    G. Kreisel

    Stanford University, United States

    1 publications · 100 citations

    1

    h-index

  3. WA
    William A. Howard

    Columbia University, United States

    1 publications · 100 citations

    1

    h-index

  4. JR
    John R. Silvester

    The King's College, United States

    1 publications · 54 citations

    1

    h-index

1–4 of 4

Venues

  1. Educational Studies in Mathematics

    1 publications · 24 citations

    1

    h-index

  2. The Mathematical Gazette

    1 publications · 54 citations

    1

    h-index

  3. Journal of Symbolic Logic

    1 publications · 100 citations

    1

    h-index

1–3