Minimal universes
Logic
2008-02-03 v1
Abstract
An inner model M is MINIMAL if there is a class A such that <M,A> is amenable yet has no transitive proper elementary submodel. We study minimal universes in the context of 0#. For example we prove: If 0# exists then there is an inner model which is minimal and locally generic over L(i.e., every set in the inner model is set-generic over L). This answers a question of Mack Stanley.
Keywords
Cite
@article{arxiv.math/9211205,
title = {Minimal universes},
author = {Sy D. Friedman},
journal= {arXiv preprint arXiv:math/9211205},
year = {2008}
}