Haplotrichum conspersum

PURPOSE To compare the safety and efficiency of conventional monopolar and holmium laser en bloc transurethral resection of… (More)

Parts of this note have been discussed elsewhere in the blog, sometimes in a different form (see here and here, for example), but… (More)

By an ω1–tree we mean a tree of power ω1 and height ω1. We call an ω1–tree a Jech–Kunen tree if it has κ–many branches for some… (More)

We describe a systematic approach to building tools for the automated analysis of specifications expressed in higher-order logic… (More)

By an ω1–tree we mean a tree of power ω1 and height ω1 . Under CH and 21 > ω2 we call an ω1–tree a Jech–Kunen tree if it has… (More)