On second-order characterizability

DOI10.1093/JIGPAL/JZS047zbMath1323.03053arXiv1208.5167OpenAlexW2963555961MaRDI QIDQ5176658

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

Publication date: 27 February 2015

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

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

zbMATH Keywords

infinitary logicsecond-order logiccharacterizability

Mathematics Subject Classification ID

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

Related Items (2)

Changing a Semantics: Opportunism or Courage? ⋮ COMPLETENESS AND CATEGORICITY (IN POWER): FORMALIZATION WITHOUT FOUNDATIONALISM

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