We construct a model without precipitous ideals but so that for each < 3 there is a normal ideal over 1 with generic ultrapower wellfounded up to the image of .
Abstract. COWS is a recently defined process calculus for specifying and combining service-oriented applications, while modelling their dynamic behaviour.
Alessandro Lapadula, Rosario Pugliese, Francesco T...