Sidansvarig: Webbredaktion
Sidan uppdaterades: 2012-09-11 15:12
| Författare |
Fredrik Engström |
|---|---|
| Publicerad i | Idées Fixes. A Festschrift Dedicated to Chistian Bennet on the Occasion of His 60th Birthday. Martin Kaså (ed.) |
| Sidor | 65-70 |
| ISBN | 978-91-982100-0-2 |
| Förlag | University of Gothenburg |
| Förlagsort | Göteborg |
| Publiceringsår | 2014 |
| Publicerad vid |
Institutionen för filosofi, lingvistik och vetenskapsteori |
| Sidor | 65-70 |
| Språk | en |
| Länkar |
www.flov.gu.se/digitalAssets/1497/1... |
| Ämneskategorier | Matematisk logik, Annan matematik, Logik |
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.
GÖTEBORGS UNIVERSITET • Box 100 • 405 30 Göteborg • Telefon: 031 786 0000
Kontakt • Organisationsnummer: 202100-3153 • Om webbplatsen
Facebook
Twitter
Instagram
Youtube