𝔖 Bobbio Scriptorium
✦   LIBER   ✦

A constructive notion of codimension

✍ Scribed by Rinaldi, Davide

Book ID
123374658
Publisher
Elsevier Science
Year
2013
Tongue
English
Weight
247 KB
Volume
383
Category
Article
ISSN
0021-8693

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

On the constructive notion of closure ma
On the constructive notion of closure maps
✍ Mohammad Ardeshir; Rasoul Ramezanian πŸ“‚ Article πŸ“… 2012 πŸ› John Wiley and Sons 🌐 English βš– 154 KB
β€˜Outside’ as a primitive notion in const
β€˜Outside’ as a primitive notion in constructive projective geometry
✍ Dirk Dalen πŸ“‚ Article πŸ“… 1996 πŸ› Springer 🌐 English βš– 211 KB

In intuitionistic (or constructive) geometry there are positive counterparts, 'apart' and 'outside', of the relations '=' and 'incident'. In this paper it is shown that the relation 'outside' suffices to define 'incident', 'apart' and 'equality'. The equivalence of the new system with Heyting's syst

Constructive notions of strict convexity
Constructive notions of strict convexity
✍ Douglas S. Bridges πŸ“‚ Article πŸ“… 1993 πŸ› John Wiley and Sons 🌐 English βš– 346 KB

## Abstract Two classically equivalent, but constructively inequivalent, strict convexity properties of a preference relation are discussed, and conditions given under which the stronger notion is a consequence of the weaker. The last part of the paper introduces uniformly rotund preferences, and s