𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Note on a System of Axioms for Geometry

✍ Scribed by Arthur Richard Schweitzer


Book ID
123784621
Publisher
American Mathematical Society
Year
1909
Tongue
English
Weight
210 KB
Volume
10
Category
Article
ISSN
0002-9947

No coin nor oath required. For personal study only.


πŸ“œ SIMILAR VOLUMES


A Note on Relative Efficiency of Axiom S
✍ Sandra Fontani; Franco Montagna; Andrea Sorbi πŸ“‚ Article πŸ“… 1994 πŸ› John Wiley and Sons 🌐 English βš– 664 KB

## Abstract We introduce a notion of relative efficiency for axiom systems. Given an axiom system __A__~Ξ²~ for a theory __T__ consistent with __S__^1^~2~, we show that the problem of deciding whether an axiom system __A__~Ξ±~ for the same theory is more efficient than __A__~Ξ²~ is II~2~‐hard. Several

A Set of Axioms for Differential Geometr
✍ O. Veblen and J. H. C. Whitehead πŸ“‚ Article πŸ“… 1931 πŸ› National Academy of Sciences 🌐 English βš– 307 KB
A Set of Axioms for Line Geometry
✍ E. R. Hedrick and Louis Ingold πŸ“‚ Article πŸ“… 1914 πŸ› American Mathematical Society 🌐 English βš– 364 KB