En Class Forcing, uno inevitablemente tiene que discutir las clases apropiadas como objetos matemáticos concretos.
Por ejemplo, al definir pretameness en la definición 2.2 del Capítulo 8 del Manual, hablamos de una secuencia de clases, que luego enumeramos. Estoy tratando de entender en qué marco axiomático podríamos estar trabajando.
En ZFC no podemos hablar de clases de esta manera. En NBG podemos hablar de clases, pero no podemos cuantificar sobre ellas. Específicamente, si una clase es miembro de otra clase, entonces debe ser un conjunto, por lo que no podemos hablar de una secuencia infinita de ellos. Pero nuestra secuencia está hecha de clases propias. Si subimos a MK, entonces nuestra teoría ya no es una extensión conservadora de ZFC, y no podemos estar realmente seguros de que nuestras conclusiones sobre los conjuntos sean válidas en ZFC.
Alternativamente, podríamos tratar de justificar nuestra discusión trabajando dentro de , para algunos cardenal inaccesible. Entonces todas nuestras molestas clases se convierten en conjuntos. Pero esto presupone la existencia de tal cardenal, del cual no creo que dependa realmente la teoría del forzamiento de clases.
¿En qué marco axiomático estamos trabajando cuando discutimos el forzamiento de clases?
En primer lugar, puede cuantificar las clases en NBG. De lo contrario, no sería una gran teoría de conjuntos habilitada por clases. Sin embargo, lo que no puede hacer es usar Comprensión con cuantificadores de clase.
Tenga en cuenta que, al igual que en ZFC, si puede indexar sus clases de manera uniforme, entonces lo que tiene es una clase dónde es una definición uniforme (por ejemplo, un modelo de suelo se puede definir de manera uniforme con la variación de los parámetros). En ese caso, el La clase se obtiene simplemente tomando . Ciertamente es un objeto de la teoría, y la Comprensión está dentro del poder de NBG (e incluso ZFC, si considera las clases como objetos formales).
Entonces, ciertamente puede usar NBG para formalizar el forzamiento de clases. Siempre que esté cuantificando sobre clases, si es necesario, esto puede convertirse en un esquema-teorema. Es decir, un teorema en el que hay un cuantificador universal metateórico, pero la teoría (en este caso, NBG) prueba todos los casos. Esta situación es similar a la prueba de que es un modelo de ZFC, que es en sí mismo un esquema-teorema.
En cualquier caso, ha habido mucho trabajo reciente sobre el tema. Puede comenzar consultando los siguientes documentos:
The Ground Axiom , la tesis doctoral de Jonas Reitz que incluye un apéndice con el marco para el forzamiento de clases.
Forzamiento de clases, teorema de forzamiento y compleciones booleanas , por Peter Holy, Regula Krapf, Philipp Lücke, Ana Njegomir, Philipp Schlicht.
Caracterizaciones de pretameness y el Ord-cc , por Peter Holy, Regula Krapf, Philipp Schlicht.
Condiciones suficientes para el teorema de forzamiento y conversión de clases propias en conjuntos , por Peter Holy, Regula Krapf, Philipp Schlicht.
La fuerza exacta del teorema de fuerza de clase , por Victoria Gitman, Joel David Hamkins, Peter Holy, Philipp Schlicht, Kameryn Williams.
asaf karaguila