✦ LIBER ✦

Existential Morphisms and Existentially Closed Models of Logical Categories

✍ Scribed by Ioana Petrescu

Publisher: John Wiley and Sons
Year: 1981
Tongue: English
Weight: 523 KB
Volume: 27
Category: Article
ISSN: 0044-3050
DOI: 10.1002/malq.19810272303

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

The complexity of the disjunction and ex

The complexity of the disjunction and existential properties in intuitionistic logic

✍ Sam Buss; Grigori Mints 📂 Article 📅 1999 🏛 Elsevier Science 🌐 English ⚖ 776 KB

Existentially Incomplete Tame Models and

Existentially Incomplete Tame Models and a Conjecture of Ellentuck

✍ Thomas G. McLaughlin 📂 Article 📅 1999 🏛 John Wiley and Sons 🌐 English ⚖ 1000 KB

## This enables us to answer in the negative a question about closure with respect to recursive fibers of certain special semirings r of isols termed tame models by Barback. Erik Ellentuck had conjuctured that all such semirings enjoy the closure property in quaestion. Our result is that while man

Accessible categories and models of line

Accessible categories and models of linear logic

✍ Michael Barr 📂 Article 📅 1991 🏛 Elsevier Science 🌐 English ⚖ 890 KB