- On second-order characterizability
- Logic Journal of the IGPL
- Volume | Issue number
- 21 | 5
- Pages (from-to)
- Document type
- Interfacultary Research Institutes
- Institute for Logic, Language and Computation (ILLC)
We investigate the extent of second-order characterizable structures by extending Shelah's Main Gap dichotomy to second-order logic. For this end we consider a countable complete first-order theory T. We show that all sufficiently large models of T have a characterization up to isomorphism in the extension of second-order logic obtained by adding a little bit of infinitary logic if and only if T is shallow superstable with NDOP and NOTOP. Our result relies on cardinal arithmetic assumptions. Under weaker assumptions we get consistency results or alternatively results about second-order logic with Henkin semantics.
- go to publisher's site
If you believe that digital publication of certain material infringes any of your rights or (privacy) interests, please let the Library know, stating your reasons. In case of a legitimate complaint, the Library will make the material inaccessible and/or remove it from the website. Please Ask the Library, or send a letter to: Library of the University of Amsterdam, Secretariat, Singel 425, 1012 WP Amsterdam, The Netherlands. You will be contacted as soon as possible.