✦ LIBER ✦

On some peculiar aspects of the constructive theory of point-free spaces

✍ Scribed by Giovanni Curi

Publisher: John Wiley and Sons
Year: 2010
Tongue: English
Weight: 162 KB
Volume: 56
Category: Article
ISSN: 0044-3050
DOI: 10.1002/malq.200910037

No coin nor oath required. For personal study only.

✦ Synopsis

Abstract

This paper presents several independence results concerning the topos‐valid and the intuitionistic (generalised) predicative theory of locales. In particular, certain consequences of the consistency of a general form of Troelstra's uniformity principle with constructive set theory and type theory are examined (© 2010 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)

📜 SIMILAR VOLUMES

On some constructive aspects of monogeni

On some constructive aspects of monogenic function theory in ℝ4

✍ J. Morais; H. T. Le; W. Sprößig 📂 Article 📅 2011 🏛 John Wiley and Sons 🌐 English ⚖ 230 KB

## Communicated by K. Guerlebeck As is well known, a possible generalization to R 4 of the classical Cauchy-Riemann system leads to the so-called Riesz system. The main goal of this paper is to construct explicitly a complete orthonormal system of polynomial solutions of this system with respect t

On Some Mathematical Aspects of the Dire

On Some Mathematical Aspects of the Direct-Interaction Approximation in Turbulence Theory

✍ B.K. Shivamoggi; M.D. Taylor; S. Kida 📂 Article 📅 1999 🏛 Elsevier Science 🌐 English ⚖ 126 KB

The purpose of this paper is to clarify some mathematical issues associated with Ž . w the direct-interaction approximation DIA given by Kraichnan Phys. Re¨. 109 Ž .