Large cardinals and locally defined well-orders of the universe

D. Asperó, S.-D. Friedman

Research output: Contribution to journalArticlepeer-review

11 Citations (Scopus)


By forcing over a model of ZFC + GCH (above ?) with a class-sized partial order preserving this theory we produce a model in which there is a locally defined well-order of the universe; that is, one whose restriction to all levels H (?) (? = ? a regular cardinal) is a well-order of H (?) definable over the structure <H (?), ? > by a parameter-free formula. Further, this forcing construction preserves all supercompact cardinals as well as all instances of regular local supercompactness. It is also possible to define variants of this construction which, in addition to forcing a locally defined well-order of the universe, preserve many of the n-huge cardinals from the ground model (for all n).
Original languageEnglish
Pages (from-to)1-15
Number of pages15
JournalAnnals of Pure and Applied Logic
Issue number1
Publication statusPublished - 1 Jan 2009


  • Definable well-orders
  • Supercompactness
  • Large cardinal preservation
  • Huge cardinals
  • Outer model programme

Cite this