✦ LIBER ✦

A constructive treatment of Urysohn's Lemma in an apartness space

✍ Scribed by Douglas Bridges; Hannes Diener

Publisher: John Wiley and Sons
Year: 2006
Tongue: English
Weight: 106 KB
Volume: 52
Category: Article
ISSN: 0044-3050
DOI: 10.1002/malq.200610006

No coin nor oath required. For personal study only.

✦ Synopsis

Abstract

This paper is dedicated to Prof. Dr. Günter Asser, whose work in founding this journal and maintaining it over many difficult years has been a major contribution to the activities of the mathematical logic community.

At first (maybe even at second) sight it appears highly unlikely that Urysohn's Lemma has any significant constructive content. However, working in the context of an apartness space and using functions whose values are a generalisation of the reals, rather than real numbers, enables us to produce a significant constructive version of that lemma. (© 2006 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)

📜 SIMILAR VOLUMES

Self-control in a Prisoner's Dilemma gam

Self-control in a Prisoner's Dilemma game: the role of trial spacing and an interfering task

✍ Edmund Fantino; Santino C. Gaitan; Stephen Meyer; Stephanie Stolarz-Fantino 📂 Article 📅 2006 🏛 John Wiley and Sons 🌐 English ⚖ 175 KB 👁 2 views

Revascularization of the lunate by a vol

Revascularization of the lunate by a volar vascularized bone graft and an osteotomy of the radius in treatment of the Kienböck's disease

✍ Christophe Mathoulin; Abhijeet L. Wahegaonkar 📂 Article 📅 2009 🏛 John Wiley and Sons 🌐 English ⚖ 312 KB

## Abstract Kienböck, a German radiologist, described avascular necrosis of the lunate (Kienböck's disease) in 1910. The epidemiology and etiology are not well‐known and always has been debated. A negative ulnar variance is considered as a predisposing factor for Kienböck's disease by the majority

An algebraic method for the treatment of

An algebraic method for the treatment of broken symmetries in many-body problems: A simple example: D. R. Bes, S. Cruz Barrios, and J. Kurchan. Departamento de Fisica—CNEA. Avenida del Libertador 8250, 1429 Buenos Aires, Argentina

📂 Article 📅 1989 🏛 Elsevier Science 🌐 English ⚖ 78 KB

Surgical treatment. A Practical Treatise

Surgical treatment. A Practical Treatise on the Therapy of Surgical Diseases. By James Peter Warbasse, M.D., F.A.C.S., Special Lecturer in the Long Island Medical College, and Calvin Mason Smyth, jun., B.S., M.D., F.A.C.S., Assistant Professor of Surgery in the University of Pennsylvania Graduate School of Medicine. Second edition, 9½ × 6½ in. In three volumes, and an index volume. Pp. 2486, with 2237 illustrations. 1937. London : W. B. Saunders Co. Ltd. £7 7s. net

📂 Article 📅 1938 🏛 John Wiley and Sons 🌐 English ⚖ 183 KB 👁 2 views

An index of treatment. A Complete Guide

An index of treatment. A Complete Guide to Treatment in a Form convenient for Reference. Edited by Sir Robert Hutchison, Bart., M.D., L.L.D., F.R.C.P., assisted by Reginald Hilton, M.A., M.D., F.R.C.P. With the Collaboration of 74 Contributors. Thirteenth edition. 9¾ × 6⅜ in. Pp. 972 + xii, with 100 illustrations. 1948. Bristol: John Wright & Sons Ltd. £4 4s. net

📂 Article 📅 1948 🏛 John Wiley and Sons 🌐 English ⚖ 144 KB

Practical Methods in the Diagnosis and T

Practical Methods in the Diagnosis and Treatment of Venereal Diseases. By David Lees, D.S.O., M.A., M.B., F.R.C.S. (Ed.), Surgeon in Charge of Venereal Diseases, Royal Infirmary, Edinburgh. With an Introduction by Wm. Robertson, M.D., F.R.C.P., D.P.H., M.O.H. Edinburgh. Crown 8vo. Pp. 605 + xvi, illustrated. 1927. Edinburgh: E. & S. Livingstone. 15s. net

📂 Article 📅 1927 🏛 John Wiley and Sons 🌐 English ⚖ 89 KB 👁 2 views