𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Omitting types for infinitary -valued logic

✍ Scribed by Eagle, Christopher J.

Book ID
121503378
Publisher
Elsevier Science
Year
2014
Tongue
English
Weight
401 KB
Volume
165
Category
Article
ISSN
0168-0072

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

An Omitting Types Theorem for first orde
An Omitting Types Theorem for first order logic with infinitary relation symbols
✍ Tarek Sayed Ahmed; Basim Samir πŸ“‚ Article πŸ“… 2007 πŸ› John Wiley and Sons 🌐 English βš– 122 KB

## Abstract In this paper, an extension of first order logic is introduced. In such logics atomic formulas may have infinite lengths. An Omitting Types Theorem is proved. (Β© 2007 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)

Omitting Types in an Intermediate Logic
Omitting Types in an Intermediate Logic
✍ Seyed-Mohammad Bagheri; Massoud Pourmahdian πŸ“‚ Article πŸ“… 2011 πŸ› Springer Netherlands 🌐 English βš– 179 KB