Oración 1: áLGEBRAS DE BOOLE Y LÍMITES DE FRAÏSSÉ trar que estas dos clases son de Fräıssé y sus respectivos ĺımites son el Álgebra contable libre de átomos linealmente ordenada y el Álgebra contable libre de átomos
Oración 2: veremos que ABFO es una clase razonable que olvida el or- den, por lo que ABFO cumple la propiedad de Ramsey
Conector: en efecto,
Relación: entailment
Género: theses