On second-order characterizability

DOI10.1093/JIGPAL/JZS047MaRDI QIDQ5176658zbMATH OpenOpenAlexFDO

Authors Tapani Hyttinen, Kaisa Kangas, Jouko Väänänen

Publication date 27 February 2015

Published in Logic Journal of the IGPL (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1208.5167

zbMATH Keywords

characterizabilityinfinitary logicsecond-order logic

Mathematics Subject Classification ID

Classification theory, stability, and related concepts in model theory (03C45) Other infinitary logic (03C75) Second- and higher-order model theory (03C85)

Abstract: 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.

Recommendations

• Second-order characterizable cardinals and ordinals
• Models with second order properties in successors of singulars
• Characterizing all models in infinite cardinalities
• scientific article; zbMATH DE number 3934998
• Linear orderings and powers of characterizable cardinals

Cited in

(4)

• Completeness and categoricity (in power): formalization without foundationalism
• Changing a Semantics: Opportunism or Courage?
• scientific article; zbMATH DE number 5722370 (Why is no real title available?)
• Second-order characterizable cardinals and ordinals

This page was built for publication: On second-order characterizability

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5176658)