𝔖 Bobbio Scriptorium
✦   LIBER   ✦

A three-restricted normal form theorem for ETOL languages

✍ Scribed by Takashi Yokomori; Derick Wood; Klaus-Jörn Lange

Book ID
113162436
Publisher
Elsevier Science
Year
1982
Tongue
English
Weight
488 KB
Volume
14
Category
Article
ISSN
0020-0190

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A local normal form theorem for infinita
A local normal form theorem for infinitary logic with unary quantifiers
✍ H. Jerome Keisler; Wafik Boulos Lotfallah 📂 Article 📅 2005 🏛 John Wiley and Sons 🌐 English ⚖ 152 KB

We prove a local normal form theorem of the Gaifman type for the infinitary logic L∞ω(Q u ) ω whose formulas involve arbitrary unary quantifiers but finite quantifier rank. We use a local Ehrenfeucht-Fraïssé type game similar to the one in [9]. A consequence is that every sentence of L∞ω(Q u ) ω of

A Normal form Theorem for Recursive Oper
A Normal form Theorem for Recursive Operators in Iterative Combinatory Spaces
✍ D. Skordev 📂 Article 📅 1978 🏛 John Wiley and Sons 🌐 English ⚖ 473 KB

A XORMAL FORM THEOREM FOR RECURSIVE OPERATORS Lemma 2. All elements of 9 ? and the element I are perfect. If E and rj are perfect elements of 9, then (t, q ) is also perfect. Proof. Obvious from the definition. L e m m a 3. Let [ be a perfect element of 9. Then Vp(L(p7, [) = 9 & R ( [ . y ) = 9).