✦ LIBER ✦

A Lattice of Interpretability Types of Theories

✍ Scribed by Jan Mycielski

Book ID: 124963602
Publisher: Association for Symbolic Logic
Year: 1977
Tongue: English
Weight: 224 KB
Volume: 42
Category: Article
ISSN: 0022-4812
DOI: 10.2307/2272134

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

The Lattice of Interpretability Types of

The Lattice of Interpretability Types of Cantor Varieties

✍ D. M. Smirnov 📂 Article 📅 2004 🏛 Springer US 🌐 English ⚖ 245 KB

Non-covering in the interpretability lat

Non-covering in the interpretability lattice of equational theories

✍ Ralph McKenzie; Stanislaw Świerczkowski 📂 Article 📅 1993 🏛 Springer 🌐 English ⚖ 664 KB

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 covering relation in the interpre

On the covering relation in the interpretability lattice of equational theories

✍ Ralph McKenzie 📂 Article 📅 1993 🏛 Springer 🌐 English ⚖ 997 KB

Lattices of interpretability types of va

Lattices of interpretability types of varieties

✍ D. M. Smirnov 📂 Article 📅 2005 🏛 Springer US 🌐 English ⚖ 164 KB

Interpretability degrees of finitely axi

Interpretability degrees of finitely axiomatized sequential theories

✍ Visser, Albert 📂 Article 📅 2013 🏛 Springer 🌐 English ⚖ 284 KB