Internal consistency for embedding complexity

In a previous paper with M. Dzamonja, class forcings were given which fixed the complexity (a universality covering number) for certain types of structures of size together with the value of 2 for every regular . As part of a programme for examining when such global results can be true in an inner model, we build generics for these class forcings.1

• Type: Journal
• Year: 2008
• Where: JSYML
• Authors: Sy-David Friedman, Katherine Thompson
• Keywords: Certain Types, Class Forcings, Inner Model, JSYML 2008