A Remark on Henkin Sentences and Their Contraries

Burgess, John P.

Notre Dame J. Formal Logic, Tome 44 (2003) no. 1, p. 185-188 / Harvested from Project Euclid

Résumé

That the result of flipping quantifiers and negating what comes after, applied to branching-quantifier sentences, is not equivalent to the negation of the original has been known for as long as such sentences have been studied. It is here pointed out that this syntactic operation fails in the strongest possible sense to correspond to any operation on classes of models.

Publié le : 2003-07-14
Classification: branching quantifiers, Henkin sentences, 03C80

@article{1091030856,
     author = {Burgess, John P.},
     title = {A Remark on Henkin Sentences and Their Contraries},
     journal = {Notre Dame J. Formal Logic},
     volume = {44},
     number = {1},
     year = {2003},
     pages = { 185-188},
     language = {en},
     url = {http://dml.mathdoc.fr/item/1091030856}
}

Burgess, John P. A Remark on Henkin Sentences and Their Contraries. Notre Dame J. Formal Logic, Tome 44 (2003) no. 1, pp.  185-188. http://gdmltest.u-ga.fr/item/1091030856/