Oración 1: ahora bien, por la escogencia de p, como p→ (b)ar , existe un subconjunto m de [p] de tamaño b monocromático (i
Oración 2: afirmación: Age(ROLH(∆)) = Rel(∆) ⊇ Sea B ∈ Age(ROLH(∆)), entonces B es isomorfo a una subestructura S finitamente generada de ROLH(∆)
Relación: neutral
Género: theses