𝔖 Bobbio Scriptorium
✦   LIBER   ✦

On the covering relation in the interpretability lattice of equational theories

✍ Scribed by Ralph McKenzie

Publisher
Springer
Year
1993
Tongue
English
Weight
997 KB
Volume
30
Category
Article
ISSN
0002-5240

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

A note on the interpretability logic of
A note on the interpretability logic of finitely axiomatized theories
✍ Maarten Rijke πŸ“‚ Article πŸ“… 1991 πŸ› Springer Netherlands 🌐 English βš– 481 KB

Ill [6] Albert Visser shows that ILP completely axiomatizes all schemata about provabihty and relative interpretability that are provable in finitely axiomatized theories. In this paper we introduce a system called ILP ~ that completely axiomatizes the arithmetically valid principles of provability

Some Theorems on the Lattice of Local In
Some Theorems on the Lattice of Local Interpretability Types
✍ Jan Krajíček πŸ“‚ Article πŸ“… 1985 πŸ› John Wiley and Sons 🌐 English βš– 738 KB

Math. (1985) ### 2.2. T h e o r e m . A type t E A is meet-irreducible iff it contains a complete theory ( i . e . a theory T i s coprime iff it has the samc type as Some co.mplete theory).

On the Lattice of Cotorsion Theories
On the Lattice of Cotorsion Theories
✍ RΓΌdiger GΓΆbel; Saharon Shelah; Simone L Wallutis πŸ“‚ Article πŸ“… 2001 πŸ› Elsevier Science 🌐 English βš– 181 KB

We discuss the lattice of cotorsion theories for abelian groups. First we show that the sublattice of the well-studied rational cotorsion theories can be identified with the well-known lattice of types. Using a recently developed method for making Ext vanish, we also prove that any power set togethe