Since Atkinson first described idiopathic rupture of a normal spleen in 1874, there has been controversy regarding the application of the terms "idiopathic" and "spontaneous". One such case is reported, and the validity of the description "idiopathic" or "spontaneous" discussed.

We present a formalization in ACL2(r) of three proofs originally done by Cantor. The first two are different proofs of the nondenumerability of the reals. The first, which was described by Cantor in 1874, relies on the completeness of the real numbers, in the form that any infinite chain of closed, bounded intervals has a non-empty intersection. The second proof uses Cantor’s celebrated diagona...

The New World genus Philonome Chambers, 1874 is revised. This genus comprises twelve species, seven of which are described as new: two species, Philonomenigrescens sp. n. and Philonomewielgusi sp. n., from the United States; four species, Philonomealbivittata sp. n., Philonomecurvilineata sp. n., Philonomekawakitai sp. n., and Philonomelambdagrapha sp. n., from French Guiana; and one species, P...

Two species of ladybird beetles, one belonging to Phrynocaria Timberlake (Coccinellni) and the second to Chilocorus Leach (Chilocorini) collected by R.A. Wallace in the Maluku Islands (Indonesia) have identical body size and colour pattern with longitudinal stripes on elytra. Their external features were so similar that G.R. Crotch included both of them in the type series of Chilocorus wallacii...

We examined forest structure, tree recruitment, and spatial pattern over a 130-year period on cinder soils in northern Arizona. Data were collected from a 3.24 ha permanent, stem-mapped plot established in 1909. This site is unique in that it represents ponderosa pine (Pinus ponderosa Laws. var. scopulorum Engelm.) growing on black cinder soils, which are of limited extent in the Southwest. Tre...