Concepedia

Beth Numbers

Beth Numbers is a transfinite sequence of cardinal numbers defined by iterated power set operations, indexed by ordinal numbers, beginning with the cardinality of the natural numbers and successively taking the cardinality of the power set at each stage.

14

Publications

425

Citations

16

Authors

20

Institutions

Publications per year

2017–2026

2

Variants

Beth Sequence

Parents

Publications

14

An intuitiomstic completeness theorem for intuitionistic predicate logic

Wim Veldman · Journal of Symbolic Logic · 1976 · 69 citations

, , +14

An intuitiomstic completeness theorem for intuitionistic predicate logic

Wim Veldman · Journal of Symbolic Logic · 1976 · 64 citations

, , +14

Interpolation and Beth’s property in propositional many-valued logics: A semantic investigation

Franco Montagna · Annals of Pure and Applied Logic · 2005 · 47 citations

, , +15

What Do Symmetries Tell Us about Structure?

Thomas William Barrett · Philosophy of Science · 2018 · 37 citations · Full text

, , +12

Modal logics and varieties of modal algebras: The beth properties, interpolation, and amalgamation

L. L. Maksimova · Algebra and Logic · 1992 · 32 citations

, , +14

1–5 of 14

Authors

16

  1. WV
    Wim Veldman

    Radboud University Nijmegen, Netherlands

    2 publications · 133 citations

    2

    h-index

  2. LL
    L. L. Maksimova

    Russian Academy of Sciences, Russia

    2 publications · 43 citations

    2

    h-index

  3. JL
    Jesper Lykke Jacobsen

    Commissariat à l'Énergie Atomique et aux Énergies Alternatives, France

    1 publications · 27 citations

    1

    h-index

  4. NM
    N. M. Bogoliubov

    Steklov Mathematical Institute, Russia

    1 publications · 20 citations

    1

    h-index

  5. MA
    Marc Aiguier

    École Centrale Paris, France

    1 publications · 15 citations

    1

    h-index

1–5 of 16

Institutions

20

  1. Centre National de la Recherche Scientifique

    Paris, France

    2 h-index

    4 publications

    84 citations

  2. University at Buffalo, State University of New York

    Buffalo, United States

    1 h-index

    1 publications

    30 citations

  3. Université Paris Sciences et Lettres

    Paris, France

    1 h-index

    2 publications

    54 citations

  4. Stanford University

    Stanford, United States

    1 h-index

    1 publications

    30 citations

  5. Commissariat à l'Énergie Atomique et aux Énergies Alternatives

    Paris, France

    1 h-index

    3 publications

    81 citations

  6. Laboratoire de Physique Théorique

    Toulouse, France

    1 h-index

    2 publications

    54 citations

  7. École Normale Supérieure - PSL

    Paris, France

    1 h-index

    2 publications

    54 citations

  8. Informatique, BioInformatique, Systèmes Complexes

    Évry-Courcouronnes, France

    1 h-index

    2 publications

    30 citations

1–8 of 20

Venues

  1. Algebra and Logic

    2 publications · 43 citations

    2

    h-index

  2. Journal of Symbolic Logic

    2 publications · 133 citations

    2

    h-index

  3. Transactions of the Faraday Society

    1 publications · 16 citations

    1

    h-index

  4. Annals of Pure and Applied Logic

    1 publications · 47 citations

    1

    h-index

  5. Nuclear Physics B

    1 publications · 27 citations

    1

    h-index

1–5