Strict Genericity
classification
🧮 math.LO
keywords
extensionclass-genericbelongingconstructibleexampleformgenericityinner
read the original 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#.
This paper has not been read by Pith yet.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.