Concepedia

Constructible Sets

Constructible Sets is a formal class of sets in set theory defined by transfinite recursion over the ordinals, where each set is explicitly definable from previous stages using first-order formulas, forming the backbone of the constructible universe $L$.

57

Publications

2.7K

Citations

69

Authors

53

Institutions

Publications per year

2017–2026

4

Parents

Publications

57

The fine structure of the constructible hierarchy

Ronald Björn Jensen · Annals of Mathematical Logic · 1972 · 681 citations

, , +10

Definable sets in ordered structures

Anand Pillay, Charles Steinhorn · Bulletin of the American Mathematical Society · 1984 · 122 citations · Full text

, , +2

Computing cylindrical algebraic decomposition via triangular decomposition

Changbo Chen, Marc Moreno Maza, Bican Xia et al. · 2009 · 104 citations

, , +10

Constructibility and Mathematical Existence.

Michael D. Resnik, Charles S. Chihara · The Journal of Philosophy · 1992 · 100 citations

, , +17

Set constructors in a logic database language

Catriel Beeri, Shamim A. Naqvi, Oded Shmueli et al. · The Journal of Logic Programming · 1991 · 94 citations

, , +11

1–5 of 57

Authors

69

  1. AP
    Anand Pillay

    University of Illinois Urbana-Champaign, United States

    3 publications · 185 citations

    3

    h-index

  2. MF
    Mohamed Faouzi Atig

    Uppsala University, Sweden

    2 publications · 42 citations

    2

    h-index

  3. MI
    M. I. Marchuk

    Sobolev Institute of Mathematics, Russia

    2 publications · 25 citations

    2

    h-index

  4. CS
    Charles S. Chihara

    University of California, Berkeley, United States

    2 publications · 125 citations

    2

    h-index

  5. MM
    Marc Moreno Maza

    Western University, Canada

    2 publications · 118 citations

    2

    h-index

1–5 of 69

Institutions

53

  1. Uppsala University

    Uppsala, Sweden

    3 h-index

    3 publications

    65 citations

  2. Novosibirsk State University

    Novosibirsk, Russia

    3 h-index

    3 publications

    41 citations

  3. Sobolev Institute of Mathematics

    Novosibirsk, Russia

    3 h-index

    4 publications

    55 citations

  4. Massachusetts Institute of Technology

    Cambridge, United States

    3 h-index

    4 publications

    123 citations

  5. Hebrew University of Jerusalem

    Jerusalem, Israel

    2 h-index

    2 publications

    37 citations

  6. Institute for Information Transmission Problems

    Moscow, Russia

    2 h-index

    4 publications

    62 citations

  7. University of California, Berkeley

    Berkeley, United States

    2 h-index

    2 publications

    737 citations

  8. Institut de recherche mathématique de Rennes

    Rennes, France

    2 h-index

    2 publications

    47 citations

1–8 of 53

Venues

  1. Journal of Symbolic Logic

    5 publications · 205 citations

    5

    h-index

  2. Transactions of the American Mathematical Society

    TRAN · 4 publications · 175 citations

    4

    h-index

  3. Algebra and Logic

    4 publications · 233 citations

    4

    h-index

  4. Bulletin of the London Mathematical Society

    2 publications · 77 citations

    2

    h-index

  5. The Journal of Logic Programming

    2 publications · 108 citations

    2

    h-index

1–5