(Q1003136)

English

forcing

in set theory, a technique for enlarging models of axioms of set theory (e.g. ZFC) by adjoining new elements, often used for proving consistency and independence results

  • unramified forcing

Statements

0 references
0 references
0 references
0 references

Identifiers

 
edit
edit
    edit
      edit
        edit
          edit
            edit
              edit
                edit