𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Constructive notions of equicontinuity

✍ Scribed by Douglas S. Bridges

Book ID
105842343
Publisher
Springer
Year
2009
Tongue
English
Weight
199 KB
Volume
48
Category
Article
ISSN
0933-5846

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

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

Ternary Operations as Primitive Notions
Ternary Operations as Primitive Notions for Constructive Plane Geometry VI
✍ Victor Pambuccian πŸ“‚ Article πŸ“… 1995 πŸ› John Wiley and Sons 🌐 English βš– 630 KB

## Abstract In this paper we provide quantifier‐free, constructive axiomatizations for several fragments of plane Euclidean geometry over Euclidean fields, such that each axiom contains at most 4 variables. The languages in which they are expressed contain only at most ternary operations. In some p

Ternary operations as primitive notions
Ternary operations as primitive notions for constructive plane geometry III
✍ Victor Pambuccian πŸ“‚ Article πŸ“… 1993 πŸ› John Wiley and Sons 🌐 English βš– 499 KB

## Abstract This paper continues the investigations begun in [6] and continued in [7] about quantifier‐free axiomatizations of plane Euclidean geometry using ternary operations. We show that plane Euclidean geometry over Archimedean ordered Euclidean fields can be axiomatized using only two ternary