On the Foundations of Constructive Mathematics – Especially in Relation to the Theory of Continuous Functions

We discuss the foundations of constructive mathematics, including recursive mathematics and intuitionism, in relation to classical mathematics. There are connections with the foundations of physics, due to the way in which the different branches of mathematics reflect reality. Many different axioms and their interrelationship are discussed. We show that there is a fundamental problem in BISH (Bishop’s school of constructive mathematics) with regard to its current definition of ‘continuous function’. This problem is closely related to the definition in BISH of ‘locally compact’. Possible approaches to this problem are discussed. Topology seems to be a key to understanding many issues. We offer several new simplifying axioms, which can form bridges between the various branches of constructive mathematics and classical mathematics (‘reuniting the antipodes’). We give a simplification of basic intuitionistic theory, especially with regard to so-called ‘bar induction’. We then plead for a limited number of axiomatic systems, which differentiate between the various branches of mathematics. Finally, in the appendix we offer BISH an elegant topological definition of ‘locally compact’, which unlike the current definition is equivalent to the usual classical and/or intuitionistic definition in classical and intuitionistic mathematics, respectively.     

Antidiuretic effects of oxytocin in the Brattleboro rat

Summary The antidiuretic activity of oxytocin (OT) was measured in Brattleboro rats with congenital diabetes insipidus. A dose dependent antidiuretic response was found in animals receiving chronic infusions of 0.1 g/h, 1.0 g/h, and 5 g/h of OT. OT infused at the rate of 5 g/h over a 7-day period completely reversed the symptoms of diabetes insipidus. The results support the concept that OT serves as a weak agonist of vasopressin at the level of the kidney and at pharmacological levels exhibits antidiuretic activity.     

AnAnolis skin melanophore assay suitable for photoaffinity labeling studies with α-MSH

Summary Visual determination of MSH-induced pigment migration in melanophores of small pieces ofAnolis carolinensis skin is standardized by first measuring photoelectrometrically the change in reflection/transmission of the whole dorsal skin in response to different hormone concentrations. This method allows the rapid and precise recording of time-response curves after photoaffinity labeling of MSH receptors or of dose-response curves of large series of synthetic compounds.Acknowledgments. We wish to thank Ms V. Jäggin, Ms C. Schulthess and Ms G. van Hees for excellent technical assistance, Dr. R. Andreatta, Ciba-Geigy AG, Basel, for his generous gift of -MSH and Prof. A Pletscher for his continuous interest. This work was supported by the Swiss National Science Foundation.     

Bicuculline and picrotoxin block γ-aminobutryic acid-gated Cl− conductance by different mechanisms

Summary Using isolated, internally perfused bullfrog dorsal root ganglion cells we have studied the dose-response curves for -aminobutyric acid (GABA) in the presence of internally or externally applied GABA antagonists. With external application of antagonists the inhibition of the GABA current by bicuculline was competitive and that by picrotoxin was noncompetitive. Picrotoxin but not bicuculline blocked when internally perfused.To whom reprint requests should be addressed.Acknowledgments. We thank Drs S. Minakami and S. Yasui for helpful discussions and comments.     

Discovery of Jupiter's 'gossamer' ring

Jupiter's ring system has previously been described as being composed of a 'bright' narrow ring and an interior, vertically-extended halo. The one image which reveals this morphology most clearly is Voyager 2's parting shot of the Jupiter system, a wide-angle (WA) view of the ring ansa in forward-scattered light (FDS 20693.02). The bright ring is plainly visible, and the halo appears after slight contrast enhancement. By further enhancement of this image we have discovered an additional ring, which is far fainter than either of the (already faint) components previously identified, extending to a radius of 210,000 km.     

Differential effects of prostaglandins and isoproterenol on cAMP content and Na,K pump activity in rat submandibular acini

Summary The -adrenergic agonist isoproterenol and prostaglandins E₁ and E₂ (but not F₂) increased the cAMP content of rat submandibular acini in vitro, but only isoproterenol enhanced ouabain-sensitive⁸⁶Rb (K) uptake. These findings suggest that cAMP is not involved in the activation of the Na, K pump in salivary cells.     

An enzyme immunoassay for mouse epidermal growth factor utilizing a liquid phase double-antibody system

Summary An enzyme immunoassay for mouse epidermal growth factor (EGF) involving a liquid phase double-antibody system was developed. The EGF--galactosidase conjugate prepared was stable for at least 8 months. By this method, EGF was detectable at a concentration as low as 20 pg per tube. The concentrations of EGF in various tissues of mice are also presented.This work was supported in part by a Grant-in-Aid for Scientific Research from the Ministry of Education, Science and Culture of Japan.     

Metabolism of 3β-hydroxycholest-5-en-26-oic acid in hamsters

Summary Metabolism of 26-hydroxycholesterol to 3-hydroxychol-5-en-24-oic acid and other C24-bile acids has been expected to occur by way of 3-hydroxycholest-5-en-26-oic acid in studies in vitro. 3-Hydroxycholest-5-en-26-oic acid was infused intravenously into bile fistula hamsters and the following C24-bile acids were identified: 3-hydroxychol-5-en-24-oic acid, lithocholic acid, chenodeoxycholic acid, and a small amount of cholic acid.     

A novel mechanism for jumping in the indian ant<Emphasis Type="Italic">Harpegnathos saltator</Emphasis> (Jerdon) (Formicidae,Ponerinae)

The Indian antHarpegnathos saltator may be unique among insects in using its jumping capacity not only as an escape mechanism but also as a normal means of locomotion, and for catching its prey in flight. High-speed cinematography used to analyse the various phases of the jump suggests thatHarpegnathos employs a novel jumping mechanism to mediate these behaviours: namely the synchronous activation of its middle and hindlegs. Electrophysiological recordings from muscles or nerves in pairs of middle and hindlegs show remarkably synchronous activity during fictive jumping, supporting the synchronous activation hypothesis.Harpegnathos is not the only ant to jump, and a cladistic analysis suggests that jumping behaviour evolved independently three times during ant evolutionary history.