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
Sitemap
To content Read more about how we use cookies on gu.se

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
Links www.flov.gu.se/digitalAssets/1497/1...
Subject categories Mathematical logic, Other Mathematics, Logic

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.

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

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?