Concepedia

Recursion On Well-ordered Sets

Recursion On Well-Ordered Sets is a mathematical framework in set theory that enables the definition of functions on well-ordered sets by specifying each value in terms of preceding values through transfinite induction.

7

Publications

424

Citations

9

Authors

8

Institutions

Publications per year

2017–2026

0

Parents

Publications

7

Recursive well-orderings

Clifford Spector · Journal of Symbolic Logic · 1955 · 212 citations

, , +16

Recursive pseudo-well-orderings

Transactions of the American Mathematical Society · 1968 · 119 citations · Full text

, , +12

Collapsing functions based on recursively large ordinals: A well-ordering proof for KPM

Michael Rathjen · Archive for Mathematical Logic · 1994 · 31 citations

, , +14

Logic programs, well-orderings and forward chaining

Victor W. Marek, Anil Nerode, Jeffrey B. Remmel · Annals of Pure and Applied Logic · 1999 · 20 citations

, , +14

Ordinals connected with formal theories for transfinitely iterated inductive definitions

Wolfram Pohlers · Journal of Symbolic Logic · 1978 · 16 citations

, , +10

1–5 of 7

Authors

9

  1. WP
    Wolfram Pohlers

    Ludwig-Maximilians-Universität München, Germany

    1 publications · 16 citations

    1

    h-index

  2. CS
    Clifford Spector

    The Ohio State University, United States

    1 publications · 212 citations

    1

    h-index

  3. JB
    Jeffrey B. Remmel

    University of California San Diego, United States

    1 publications · 20 citations

    1

    h-index

  4. AS
    Andre Scedrov

    University of Pennsylvania, United States

    1 publications · 11 citations

    1

    h-index

  5. MR
    Michael Rathjen

    University of Leeds, United Kingdom

    1 publications · 31 citations

    1

    h-index

1–5 of 9

Institutions

8

  1. The Ohio State University

    Columbus, United States

    3 h-index

    3 publications

    254 citations

  2. Cornell University

    Ithaca, United States

    1 h-index

    1 publications

    20 citations

  3. Stanford University

    Stanford, United States

    1 h-index

    1 publications

    15 citations

  4. University of Kentucky

    Lexington, United States

    1 h-index

    1 publications

    20 citations

  5. Stanford Medicine

    Stanford, United States

    1 h-index

    1 publications

    15 citations

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

    Munich, Germany

    1 h-index

    1 publications

    16 citations

  7. University of Pennsylvania

    Philadelphia, United States

    1 h-index

    1 publications

    11 citations

  8. University of California San Diego

    San Diego, United States

    1 h-index

    1 publications

    20 citations

1–8 of 8

Venues

  1. Transactions of the American Mathematical Society

    TRAN · 2 publications · 134 citations

    2

    h-index

  2. Journal of Symbolic Logic

    2 publications · 228 citations

    2

    h-index

  3. Annals of Pure and Applied Logic

    1 publications · 20 citations

    1

    h-index

  4. Advances in Mathematics

    1 publications · 11 citations

    1

    h-index

  5. Archive for Mathematical Logic

    1 publications · 31 citations

    1

    h-index

1–5