(Q5421908)

English

extender

in set theory, a system of ultrafilters representing an elementary embedding witnessing large cardinal properties

Statements

0 references

Identifiers

0 references
 
edit
edit
    edit
      edit
        edit
          edit
            edit
              edit
                edit