Implicitly definable generalized quantifiers
Logic
2014-10-15 v1
Abstract
We give a new elementary proof of the main theorem of [Fef12]: Quantifiers implicitly definable in pure second-order logic equipped with Henkin semantics implies are (explicitly) definable in first-order logic.
Keywords
Cite
@article{arxiv.1410.3625,
title = {Implicitly definable generalized quantifiers},
author = {Fredrik Engström},
journal= {arXiv preprint arXiv:1410.3625},
year = {2014}
}
Comments
5 pages