Concepedia

Induction On Sets

Induction On Sets is a methodological framework in mathematical logic that extends the principle of mathematical induction to well-ordered sets by proving a base case and an inductive step relativized to set membership and order.

44

Publications

1.9K

Citations

62

Authors

43

Institutions

Publications per year

2017–2026

2

Parents

Publications

44

Correspondence, invariance and heuristics: In praise of conservative induction

H R Post · Studies in History and Philosophy of Science Part A · 1971 · 203 citations

, , +5

Probability and Induction.

Donald C. Williams, William Kneale · Philosophy and Phenomenological Research · 1950 · 196 citations

, , +13

Inductive families

Peter Dybjer · Formal Aspects of Computing · 1994 · 138 citations · Full text

, , +14

A General Framework for Induction and a Study of Selective Induction

Larry Rendell · Machine Learning · 1986 · 135 citations · Full text

, , +12

Studies in inductive logic and probability

Gian‐Carlo Rota · Advances in Mathematics · 1983 · 114 citations

, , +11

1–5 of 44

Authors

62

  1. WK
    William Kneale

    Phillips Exeter Academy, United States

    3 publications · 285 citations

    3

    h-index

  2. LR
    Larry Rendell

    University of Illinois Urbana-Champaign, United States

    2 publications · 217 citations

    2

    h-index

  3. AB
    Adel Bouhoula

    University of Carthage, Tunisia

    2 publications · 109 citations

    2

    h-index

  4. AT
    Aleksandr Tsarev

    Vitebsk State University named after P.M. Masherov, Belarus

    1 publications · 11 citations

    1

    h-index

  5. LC
    Lawrence C. Paulson

    University of Cambridge, United Kingdom

    1 publications · 64 citations

    1

    h-index

1–5 of 62

Institutions

43

  1. University of Cambridge

    Cambridge, United Kingdom

    2 h-index

    2 publications

    81 citations

  2. University of Illinois Urbana-Champaign

    Urbana, United States

    2 h-index

    2 publications

    217 citations

  3. Institut national de recherche en sciences et technologies du numérique

    Le Chesnay-Rocquencourt, France

    2 h-index

    3 publications

    166 citations

  4. Centre Inria de l'Université de Lorraine

    Villers-lès-Nancy, France

    2 h-index

    3 publications

    166 citations

  5. University of Michigan

    Ann Arbor, United States

    1 h-index

    1 publications

    33 citations

  6. University of Ottawa

    Ottawa, Canada

    1 h-index

    1 publications

    23 citations

  7. IBM (United States)

    Armonk, United States

    1 h-index

    3 publications

    309 citations

  8. Université de Lorraine

    Nancy, France

    1 h-index

    1 publications

    16 citations

1–8 of 43

Venues

  1. Journal of Symbolic Logic

    2 publications · 22 citations

    2

    h-index

  2. Mathematical logic quarterly

    MLQ · 2 publications · 34 citations

    2

    h-index

  3. Machine Learning

    2 publications · 217 citations

    2

    h-index

  4. New Generation Computing

    1 publications · 13 citations

    1

    h-index

  5. The Journal of Philosophy

    1 publications · 74 citations

    1

    h-index

1–5