𝔖 Bobbio Scriptorium
✦   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

No coin nor oath required. For personal study only.


πŸ“œ SIMILAR VOLUMES


Some Theorems on the Lattice of Local In
✍ 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).