Implicitly definable generalized quantifiers
From MaRDI portal
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.
This page was built for publication: Implicitly definable generalized quantifiers
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6255480)
