Concepedia

Axiom Of Constructibility

The Axiom of Constructibility is the set-theoretic axiom asserting that every set is constructible, meaning that the universe of sets is identical to the class $ L $ of sets that can be built up inductively from definable operations over ordinals, thereby providing a canonical inner model in which the Axiom of Choice and the Generalized Continuum Hypothesis hold.

26

Publications

1.4K

Citations

25

Authors

25

Institutions

Publications per year

2017–2026

1

Variants

V=l

Parents

Publications

26

Progress in study on constructal theory and its applications

Lingen Chen · Science China Technological Sciences · 2012 · 250 citations

, , +7

Some consequences of the axiom of constructibility

J. W. Addison · Fundamenta Mathematicae · 1959 · 180 citations · Full text

, , +3

Knowability and Constructivism

Timothy Williamson · The Philosophical Quarterly · 1988 · 104 citations

, , +9

A semantical study of constructible falsity

Richmond H. Thomason · Mathematical logic quarterly · 1969 · 101 citations

, , +6

Set theory and the continuum problem

Choice Reviews Online · 1997 · 86 citations

, , +16

1–5 of 26

Authors

25

  1. PC
    Paul C. Eklof

    University of California, Irvine, United States

    3 publications · 143 citations

    3

    h-index

  2. LL
    Luc Lauwers

    KU Leuven, Belgium

    2 publications · 23 citations

    2

    h-index

  3. FR
    Frederick Rowbottom

    University of Bristol, United Kingdom

    1 publications · 69 citations

    1

    h-index

  4. PW
    Philip Welch

    University of Bristol, United Kingdom

    1 publications · 64 citations

    1

    h-index

  5. JW
    J. W. Addison

    University of California, Berkeley, United States

    1 publications · 180 citations

    1

    h-index

1–5 of 25

Institutions

25

  1. Irvine University

    Cerritos, United States

    2 h-index

    3 publications

    177 citations

  2. University of California, Irvine

    Irvine, United States

    2 h-index

    3 publications

    177 citations

  3. KU Leuven

    Leuven, Belgium

    1 h-index

    1 publications

    13 citations

  4. Lancaster University Ghana

    Accra, Ghana

    1 h-index

    1 publications

    13 citations

  5. Stanford University

    Stanford, United States

    1 h-index

    1 publications

    14 citations

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

    Le Chesnay-Rocquencourt, France

    1 h-index

    1 publications

    48 citations

  7. Uppsala University

    Uppsala, Sweden

    1 h-index

    1 publications

    23 citations

  8. Centre Inria de Saclay

    Palaiseau, France

    1 h-index

    1 publications

    48 citations

1–8 of 25

Venues

  1. Journal of Symbolic Logic

    3 publications · 134 citations

    3

    h-index

  2. Bulletin of Symbolic Logic

    2 publications · 73 citations

    2

    h-index

  3. Fundamenta Mathematicae

    2 publications · 211 citations

    2

    h-index

  4. Choice Reviews Online

    CRO · 2 publications · 103 citations

    2

    h-index

  5. Mathematical logic quarterly

    MLQ · 2 publications · 121 citations

    2

    h-index

1–5