Concepedia

Set-theoretic Proofs

Set-Theoretic Proofs is a method in algebraic proof theory that establishes mathematical truths by employing the principles and operations of set theory to rigorously derive logical implications from axiomatic foundations.

59

Publications

2.1K

Citations

94

Authors

78

Institutions

Publications per year

2017–2026

5

Parents

Publications

59

Proof techniques in the theory of finite sets

Curtis Greene, Daniel J. Kleitman · 1978 · 190 citations

, , +14

How to prove it: a structured approach

Choice Reviews Online · 1995 · 135 citations

, , +11

J. L. Bell. Boolean-valued models and independence proofs in set theory. Oxford logic guides. Clarendon Press, Oxford1977, xviii + 126 pp.

Thomas Jech · Journal of Symbolic Logic · 1981 · 133 citations

, , +13

BOOLEAN VALUED MODELS AND INDEPENDENCE PROOFS IN SET THEORY

Keith Devlin · Bulletin of the London Mathematical Society · 1978 · 107 citations

, , +11

Independence results in computer science

Juris Hartmanis, John E. Hopcroft · ACM SIGACT News · 1976 · 88 citations · Full text

, , +16

1–5 of 59

Authors

94

  1. DF
    Dario Fiore

    IMDEA Software Institute, Spain

    2 publications · 32 citations

    2

    h-index

  2. ΝH
    Ν. H. Bingham

    Imperial College London, United Kingdom

    2 publications · 23 citations

    2

    h-index

  3. AJ
    A. J. Ostaszewski

    London School of Economics and Political Science, United Kingdom

    2 publications · 23 citations

    2

    h-index

  4. LO
    Luke Oeding

    University of Florence, Italy

    2 publications · 80 citations

    2

    h-index

  5. CW
    Christoph Walther

    Technische Universität Darmstadt, Germany

    1 publications · 19 citations

    1

    h-index

1–5 of 94

Institutions

78

  1. Stanford University

    Stanford, United States

    3 h-index

    4 publications

    64 citations

  2. University of Catania

    Catania, Italy

    2 h-index

    4 publications

    62 citations

  3. City University of New York

    New York, United States

    2 h-index

    2 publications

    63 citations

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

    Le Chesnay-Rocquencourt, France

    2 h-index

    2 publications

    29 citations

  5. University of Florence

    Florence, Italy

    2 h-index

    2 publications

    80 citations

  6. University of Edinburgh

    Edinburgh, United Kingdom

    2 h-index

    2 publications

    54 citations

  7. University at Albany, State University of New York

    Albany, United States

    1 h-index

    1 publications

    20 citations

  8. TranS1 (United States)

    Wilmington, United States

    1 h-index

    1 publications

    61 citations

1–8 of 78

Venues

  1. Journal of Symbolic Logic

    5 publications · 290 citations

    5

    h-index

  2. Choice Reviews Online

    CRO · 3 publications · 176 citations

    3

    h-index

  3. Annals of Pure and Applied Logic

    3 publications · 113 citations

    3

    h-index

  4. arXiv (Cornell University)

    Repository · 2 publications · 21 citations

    2

    h-index

  5. Electronic Notes in Theoretical Computer Science

    ENTCS · 2 publications · 47 citations

    2

    h-index

1–5