- Full text PDF available (7)
- This year (0)
- Last 5 years (1)
- Last 10 years (9)
Journals and Conferences
These notes give an elementary approach to parts of the theory of standard Borel and analytic spaces.
or<lb>171<lb>algebra<lb>12, 25<lb>adapted to typed set<lb>150<lb>associated<lb>37, 43, 150, 152<lb>bottomed<lb>58<lb>category-based<lb>126<lb>containing a typed set<lb>37<lb>disjoint from a typed set<lb>46<lb>extension of<lb>46<lb>free<lb>37<lb>functionally free<lb>145, 147<lb>functional<lb>145, 147<lb>ground… (More)
These notes present an approach to obtaining the basic properties of the natural numbers in terms of the properties of finite sets (which are introduced independently of the natural numbers). The role played by the usual recursion theorem is taken over by a construction which can be regarded as a recursion theorem for finite sets.
These notes present an approach to obtaining the basic operations of addition and multiplication on the natural numbers in terms of elementary results about commutative monoids.
We have all either heard it or had it said to us. As she prepares to inject, Julie, the nurse, says: Don't worry, this won't hurt a bit'. Suitably reassured, John, the patient offers an arm and... ouch. Julie lied.
Analysis of Artemisia annua extracts by liquid chromatographic methods has traditionally been complicated by the presence of significant quantities of impurities. It has been observed that these impurities often remain as a solid residue after sample reconstitution, but the possibility of artemisinin remaining entrained within this waxy layer has not been… (More)
OBJECTIVES Cleaning verification is a scientific and economic problem for the pharmaceutical industry. A large amount of potential manufacturing time is lost to the process of cleaning verification. This involves the analysis of residues on spoiled manufacturing equipment, with high-performance liquid chromatography (HPLC) being the predominantly employed… (More)