✦ LIBER ✦

Abstract elementary classes and infinitary logics

✍ Scribed by David W. Kueker

Publisher: Elsevier Science
Year: 2008
Tongue: English
Weight: 945 KB
Volume: 156
Category: Article
ISSN: 0168-0072
DOI: 10.1016/j.apal.2008.07.002

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Infinitary logic and topological homeomo

Infinitary logic and topological homeomorphisms

✍ T. A. McKee 📂 Article 📅 1975 🏛 John Wiley and Sons 🌐 English ⚖ 324 KB

α Logic and Infinitary Languages

✍ Newton C. A. da Costa; Charles C. Pinter 📂 Article 📅 1976 🏛 John Wiley and Sons 🌐 English ⚖ 490 KB

Infinitary Jónsson functions and element

Infinitary Jónsson functions and elementary embeddings

✍ Masahiro Shioya 📂 Article 📅 1994 🏛 Springer 🌐 English ⚖ 297 KB

Modality, bisimulation and interpolation

Modality, bisimulation and interpolation in infinitary logic

✍ Johan van Benthem 📂 Article 📅 1999 🏛 Elsevier Science 🌐 English ⚖ 942 KB

Cut-elimination Theorems for Some Infini

Cut-elimination Theorems for Some Infinitary Modal Logics

✍ Yoshihito Tanaka 📂 Article 📅 2001 🏛 John Wiley and Sons 🌐 English ⚖ 189 KB

In this article, a cut-free system TLMω 1 for infinitary propositional modal logic is proposed which is complete with respect to the class of all Kripke frames. The system TLMω 1 is a kind of Gentzen style sequent calculus, but a sequent of TLMω 1 is defined as a finite tree of sequents in a standar

A topology for galois types in abstract

A topology for galois types in abstract elementary classes

✍ Michael Lieberman 📂 Article 📅 2011 🏛 John Wiley and Sons 🌐 English ⚖ 158 KB

We present a way of topologizing sets of Galois types over structures in abstract elementary classes with amalgamation. In the elementary case, the topologies thus produced refine the syntactic topologies familiar from first order logic. We exhibit a number of natural correspondences between the mod