Concepedia

Cohen Forcing

Cohen Forcing is a method in set theory that belongs to the class of forcing techniques, distinguished by its use of countable transitive models and partial orders to construct generic extensions that demonstrate the independence of the Continuum Hypothesis and the Axiom of Choice from the Zermelo-Fraenkel axioms.

34

Publications

710

Citations

40

Authors

30

Institutions

Publications per year

2017–2026

2

Parents

Publications

34

On oracle builder's toolkit

Stephen Fenner, Lance Fortnow, Stuart A. Kurtz et al. · 2002 · 52 citations

, , +11

Internal Consistency and the Inner Model Hypothesis

Sy‐David Friedman · Bulletin of Symbolic Logic · 2006 · 38 citations · Full text

, , +9

Design as Forcing: Deepening the Foundations of C-K Theory

Armand Hatchuel, Benoît Weil · Guidelines for a Decision Support Method Adapted to NPD Processes · 2007 · 36 citations

, , +9

Forcing in Proof Theory

Jeremy Avigad · Bulletin of Symbolic Logic · 2004 · 33 citations

, , +17

Properness Without Elementaricity

Saharon Shelah · Journal of Applied Analysis · 2004 · 33 citations

, , +9

1–5 of 34

Authors

40

  1. SS
    Saharon Shelah

    Hebrew University of Jerusalem, Israel

    5 publications · 112 citations

    5

    h-index

  2. CT
    C. T. Chong

    National University of Singapore, Singapore

    1 publications · 13 citations

    1

    h-index

  3. AW
    Arnold W. Miller

    University of Wisconsin–Madison, United States

    1 publications · 20 citations

    1

    h-index

  4. DS
    David Schrittesser

    University of Copenhagen, Denmark

    1 publications · 12 citations

    1

    h-index

  5. JD
    Joel David Hamkins

    City University of New York, United States

    1 publications · 11 citations

    1

    h-index

1–5 of 40

Institutions

30

  1. Hebrew University of Jerusalem

    Jerusalem, Israel

    4 h-index

    4 publications

    79 citations

  2. Rutgers, The State University of New Jersey

    New Brunswick, United States

    2 h-index

    2 publications

    36 citations

  3. University of Vienna

    Vienna, Austria

    2 h-index

    2 publications

    51 citations

  4. University of Chicago

    Chicago, United States

    2 h-index

    4 publications

    180 citations

  5. University of California, Los Angeles

    Los Angeles, United States

    2 h-index

    2 publications

    41 citations

  6. University of Wisconsin–Madison

    Madison, United States

    2 h-index

    2 publications

    33 citations

  7. University of Michigan

    Ann Arbor, United States

    1 h-index

    1 publications

    15 citations

  8. University of Pittsburgh

    Pittsburgh, United States

    1 h-index

    2 publications

    20 citations

1–8 of 30

Venues

  1. Journal of Symbolic Logic

    11 publications · 191 citations

    10

    h-index

  2. Bulletin of Symbolic Logic

    3 publications · 99 citations

    3

    h-index

  3. arXiv (Cornell University)

    Repository · 3 publications · 45 citations

    3

    h-index

  4. Transactions of the American Mathematical Society

    TRAN · 3 publications · 65 citations

    3

    h-index

  5. Israel Journal of Mathematics

    2 publications · 47 citations

    2

    h-index

1–5