𝔖 Bobbio Scriptorium
✦   LIBER   ✦

A note on Putnam and the transitivity of the real

✍ Scribed by Charles E. Cardwell

Book ID
104737560
Publisher
Springer Netherlands
Year
1972
Tongue
English
Weight
157 KB
Volume
23
Category
Article
ISSN
0031-8116

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

A note on the axiomatisation of real num
A note on the axiomatisation of real numbers
✍ Thierry Coquand; L. Henri Lombardi πŸ“‚ Article πŸ“… 2008 πŸ› John Wiley and Sons 🌐 English βš– 86 KB πŸ‘ 2 views

## Abstract Is it possible to give an abstract characterisation of constructive real numbers? A condition should be that all axioms are valid for Dedekind reals in any topos, or for constructive reals in Bishop mathematics. We present here a possible first‐order axiomatisation of real numbers, whic

A note on the growth of transitive graph
A note on the growth of transitive graphs
✍ W. Imrich; N. Seifter πŸ“‚ Article πŸ“… 1988 πŸ› Elsevier Science 🌐 English βš– 810 KB

Let X be a locally finite, connected, growth if and only if X is a strip. infinite, transitive graph. We show that X has linear X(V, E) denotes a graph with vertex-set V(X) and edge-set E(X). Graphs considered in this paper contain neither loops nor mu!tiple edges, AUT(X) denotes the automorphism gr

A short note on canonical topologies on
A short note on canonical topologies on the real line
✍ Cong-Hua Yan πŸ“‚ Article πŸ“… 2003 πŸ› Elsevier Science 🌐 English βš– 190 KB

The purpose of this note is to study the relationships between Lowen functor, para-Lowen functor and Rodabaugh's dual L-topology on the real line. The conclusion which they coincide in the case of a Hutton algebra is obtained.