Strict Genericity
Logic
2016-09-06 v1
Abstract
We show that an inner model of a class-generic extension of L need not itself be such an extension. Our example is of the form L[R], where R is a real belonging to a class-generic extension of L and constructible from 0#.
Cite
@article{arxiv.math/9509207,
title = {Strict Genericity},
author = {Sy D. Friedman},
journal= {arXiv preprint arXiv:math/9509207},
year = {2016}
}