𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Torsion theories of simple type

✍ Scribed by Richard Bronowitz; Mark L. Teply

Publisher
Elsevier Science
Year
1973
Tongue
English
Weight
784 KB
Volume
3
Category
Article
ISSN
0022-4049

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

The seven virtues of simple type theory
The seven virtues of simple type theory
✍ William M. Farmer πŸ“‚ Article πŸ“… 2008 πŸ› Elsevier Science 🌐 English βš– 243 KB

Simple type theory, also known as higher-order logic, is a natural extension of first-order logic which is simple, elegant, highly expressive, and practical. This paper surveys the virtues of simple type theory and attempts to show that simple type theory is an attractive alternative to first-order

Random Amalgamation of Simple Theories
Random Amalgamation of Simple Theories
✍ Akito Tsuboi πŸ“‚ Article πŸ“… 2001 πŸ› John Wiley and Sons 🌐 English βš– 132 KB πŸ‘ 1 views
β€œBouncing” of simple cosmological models
β€œBouncing” of simple cosmological models with torsion
✍ G.David Kerlick πŸ“‚ Article πŸ“… 1976 πŸ› Elsevier Science 🌐 English βš– 859 KB

The known cosmological solutions of the Einstein-Cartan-Sciama-Kibble (ECSK) field equations are reviewed. The prevention of singularities is explained by means of the extension of the Hawking-Penrose singularity theorems to the ECSK theory. Singularity prevention in semiclassical "spinning dust" mo

A Simple Characterization of Theories of
A Simple Characterization of Theories of Varieties
✍ M.C. Pedicchio; R.J. Wood πŸ“‚ Article πŸ“… 2000 πŸ› Elsevier Science 🌐 English βš– 153 KB

We answer the question of which theories in the sense of Gabriel and Ulmer give rise to (finitary, multi-sorted) varieties and exhibit the 2-category of varieties as a (non-full) bireflective sub-2-category of the 2-category of locally finitely presentable categories. A central role is played by tho