Decir que tenemos un soporte contable obliga a iteración $ \mathbb{ P}{ \alpha }$ (usando la definición de Jech) donde $ \alpha $ es un ordinal del límite y considera dos condiciones $ f , g \in \mathbb{ P}{ \alpha }$.
Me pregunto si para mostrar que $f \sim g $ (compatible en $ \mathbb{ P}_{ \alpha }$), es suficiente para mostrar:
$$ \forall \beta
(Donde $ \sim $ entendemos por compatible en el poset)
¿Debo simplemente construir una condición que atestigua lo que deseamos? Gracias
Por desgracia, no estoy familiarizado con Jech la noción de afirmar forzamientos y de ahí que algunas de las barreras de comunicación entre los dos de nosotros. A menudo pienso de afirmar forzamientos en términos de completa álgebras Booleanas y subestructuras de la inversa de los límites, pero estos conceptos son compatibles en el sentido de que cada uno puede ser traducida a otros en una forma que los rendimientos equivalentes forzamientos.
La respuesta a tu pregunta es no, pero ya que estoy familiarizado con la notación - no sé de una manera fácil para proveer de usted con un contraejemplo. Si a usted le gusta mirar a afirmar forzamientos en términos de completa álgebras Booleanas, el papel de Un Booleano Algebraicas Enfoque Semiproper Iteraciones por Vilae, Audrito y Steila contiene un contraejemplo en la Proposición 5.4.
I-Ciencias es una comunidad de estudiantes y amantes de la ciencia en la que puedes resolver tus problemas y dudas.
Puedes consultar las preguntas de otros usuarios, hacer tus propias preguntas o resolver las de los demás.
