To the top

Page Manager: Webmaster
Last update: 9/11/2012 3:13 PM

Tell a friend about this page
Print version

Implicitly definable gene… - University of Gothenburg, Sweden Till startsida
To content Read more about how we use cookies on

Implicitly definable generalized quantifiers

Chapter in book
Authors Fredrik Engström
Published in Idées Fixes. A Festschrift Dedicated to Chistian Bennet on the Occasion of His 60th Birthday. Martin Kaså (ed.)
Pages 65-70
ISBN 978-91-982100-0-2
Publisher University of Gothenburg
Place of publication Göteborg
Publication year 2014
Published at Department of Philosophy, Linguistics and Theory of Science
Pages 65-70
Language en
Subject categories Mathematical logic, Other Mathematics, Logic


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.

Page Manager: Webmaster|Last update: 9/11/2012

The University of Gothenburg uses cookies to provide you with the best possible user experience. By continuing on this website, you approve of our use of cookies.  What are cookies?