Haplotrichum conspersum

Among Sabellidae (polychaetes commonly found in hard substrate fouling communities), the genus Branchiomma Kölliker is a species… Expand

Six species of Branchiomma Kolliker (1858) from the Caribbean Sea and Pacific coast of Panama are described or redescribed, and a… Expand

RESUMEN La demostracion habitual del Segundo Teorema de Incompletud de Godel a partir de teorias debiles como IΣ1 es larga y… Expand

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

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

Trehalulose and melezitose produced by Bemisia argentifolii Bellows and Perring and thermodetector counts in cotton lint… Expand

 

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 hask-many branches for somek… Expand

By an omega_1--tree we mean a tree of power omega_1 and height omega_1. Under CH and 2^{omega_1}> omega_2 we call an omega_1… Expand