Concepedia

Iteration Trees

Iteration Tree is a well-founded tree structure in set theory that organizes a sequence of elementary embeddings and ultrapowers used to compare and analyze iterable models of large cardinal axioms within inner model theory.

39

Publications

2.3K

Citations

66

Authors

60

Institutions

Publications per year

2017–2026

1

Parents

Publications

39

Algebraic Structure Theory of Sequential Machines

Eric G. Wagner, Juris Hartmanis, Richard E. Stearns · Mathematics of Computation · 1968 · 528 citations

, , +13

Algebraic structure theory of sequential machines

John E. Hopcroft · Journal of the Franklin Institute · 1967 · 380 citations

, , +13

Infinite trees and completely iterative theories: a coalgebraic view

Peter Aczel, Jiřı́ Adámek, Stefan Milius et al. · Theoretical Computer Science · 2003 · 114 citations

, , +12

A Tree–Loop Duality Relation at Two Loops and Beyond

Isabella Bierenbaum, Stefano Catani, Petros Draggiotis · 2010 · 107 citations

, , +3

Ordering and directionality of iterative rules

John T. Jensen, Margaret Stong‐Jensen · Paper in Linguistics · 1973 · 95 citations

, , +6

1–5 of 39

Authors

66

  1. LA
    Luca Aceto

    Aalborg University, Denmark

    3 publications · 77 citations

    3

    h-index

  2. WF
    Wan Fokkink

    Vrije Universiteit Amsterdam, Netherlands

    3 publications · 108 citations

    3

    h-index

  3. ZÉ
    Zoltán Ésik

    University of Szeged, Hungary

    3 publications · 66 citations

    3

    h-index

  4. RS
    Ralf Schindler

    University of Münster, Germany

    2 publications · 61 citations

    2

    h-index

  5. SC
    Stefano Catani

    Istituto Nazionale di Fisica Nucleare, Sezione di Firenze, Italy

    2 publications · 138 citations

    2

    h-index

1–5 of 66

Institutions

60

  1. Stanford University

    Stanford, United States

    4 h-index

    4 publications

    112 citations

  2. Utrecht University

    Utrecht, The Netherlands

    3 h-index

    3 publications

    77 citations

  3. Aalborg University

    Aalborg, Denmark

    3 h-index

    5 publications

    141 citations

  4. University of Szeged

    Szeged, Hungary

    2 h-index

    2 publications

    39 citations

  5. Universitat de València

    Valencia, Spain

    2 h-index

    3 publications

    245 citations

  6. Technische Universität Braunschweig

    Braunschweig, Germany

    2 h-index

    4 publications

    360 citations

  7. Istituto Nazionale di Fisica Nucleare, Sezione di Firenze

    Sesto Fiorentino, Italy

    2 h-index

    2 publications

    138 citations

  8. Stevens Institute of Technology

    Hoboken, United States

    2 h-index

    4 publications

    158 citations

1–8 of 60

Venues

  1. Theoretical Computer Science

    5 publications · 314 citations

    5

    h-index

  2. Information and Computation

    4 publications · 117 citations

    4

    h-index

  3. Journal of Symbolic Logic

    3 publications · 101 citations

    3

    h-index

  4. Journal of Computer and System Sciences

    2 publications · 87 citations

    2

    h-index

  5. Paper in Linguistics

    1 publications · 95 citations

    1

    h-index

1–5