Concepedia

Sheaf Models

Sheaf Models is a mathematical framework in intuitionistic logic that interprets logical propositions via sheaves over topological spaces, distinguishing itself by assigning truth values relative to open sets in a site, thereby modeling variable or context-dependent truth in a constructive setting.

189

Publications

9K

Citations

264

Authors

172

Institutions

Publications per year

2017–2026

25

Parents

Publications

189

Higher Direct Images of Dualizing Sheaves I

Janós Kollár · Annals of Mathematics · 1986 · 553 citations

, , +6

The sheaf-theoretic structure of non-locality and contextuality

New Journal of Physics · 2011 · 412 citations · Full text

, , +9

Employing Nominal Variables, Induced Variables, and Block Variables in Path Analyses

David R. Heise · Sociological Methods & Research · 1972 · 320 citations

, , +13

The Sheaf-Theoretic Structure Of Non-Locality and Contextuality

2011 · 296 citations · Full text

, , +9

Chern Classes of Tautological Sheaves on Hilbert Schemes of Points on Surfaces

1997 · 237 citations

, , +9

1–5 of 189

Authors

264

  1. SA
    Steve Awodey

    Carnegie Mellon University, United States

    4 publications · 52 citations

    4

    h-index

  2. IM
    Ieke Moerdijk

    Utrecht University, Netherlands

    4 publications · 80 citations

    4

    h-index

  3. KV
    Kari Vilonen

    Brandeis University, United States

    3 publications · 309 citations

    3

    h-index

  4. RS
    Rui Soares Barbosa

    University of Oxford, United Kingdom

    3 publications · 138 citations

    3

    h-index

  5. SM
    Shane Mansfield

    Centre National de la Recherche Scientifique, France

    3 publications · 138 citations

    3

    h-index

1–5 of 264

Institutions

172

  1. University of Oxford

    Oxford, United Kingdom

    7 h-index

    16 publications

    1.5K citations

  2. Centre National de la Recherche Scientifique

    Paris, France

    6 h-index

    6 publications

    231 citations

  3. Scuola Internazionale Superiore di Studi Avanzati

    Trieste, Italy

    6 h-index

    9 publications

    212 citations

  4. Utrecht University

    Utrecht, The Netherlands

    5 h-index

    5 publications

    313 citations

  5. University of California, Berkeley

    Berkeley, United States

    4 h-index

    5 publications

    138 citations

  6. University of Pennsylvania

    Philadelphia, United States

    4 h-index

    6 publications

    504 citations

  7. Carnegie Mellon University

    Pittsburgh, United States

    3 h-index

    3 publications

    39 citations

  8. Université Sorbonne Paris Nord

    Villetaneuse, France

    3 h-index

    3 publications

    52 citations

1–8 of 172

Venues

  1. Journal of Pure and Applied Algebra

    13 publications · 437 citations

    12

    h-index

  2. arXiv (Cornell University)

    Repository · 11 publications · 234 citations

    11

    h-index

  3. Transactions of the American Mathematical Society

    TRAN · 10 publications · 496 citations

    10

    h-index

  4. Journal of Algebra

    7 publications · 132 citations

    7

    h-index

  5. Inventiones mathematicae

    6 publications · 560 citations

    6

    h-index

1–5