𝔖 Bobbio Scriptorium
✦   LIBER   ✦

A Condition on Quantifiers in Logical Form

✍ Scribed by Ignacio Bosque and Juan-Carlos Moreno


Book ID
125188617
Publisher
MIT Press
Year
1984
Tongue
English
Weight
400 KB
Volume
15
Category
Article
ISSN
0024-3892

No coin nor oath required. For personal study only.


πŸ“œ SIMILAR VOLUMES


Berkeley in logical form
✍ A. N. PRIOR πŸ“‚ Article πŸ“… 2008 πŸ› Wiley (Blackwell Publishing) 🌐 English βš– 234 KB
A Few More Remarks on Logical Form
✍ Alex Oliver πŸ“‚ Article πŸ“… 1999 πŸ› John Wiley and Sons 🌐 English βš– 762 KB
A local normal form theorem for infinita
✍ 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