Strict Genericity

1995/09/01 by Friedman, Sy D.
#FOS: Mathematics #Logic (math.LO)

paper · doi:10.48550/arxiv.math/9509207

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#.

Related

• When is a real generic over L?
• The strict order property and generic automorphisms
• Minimal universes
• Full Amalgamation Classes with Intrinsic Transcendentals
• Generic Coding with Help and Amalgamation Failure