On the model theory of second-order objects

DOI10.1016/J.APAL.2026.103824MaRDI QIDQ7325787zbMATH OpenFDO

Authors Tapani Hyttinen, Joni Puljujärvi, Davide Emilio Quadrellaro

Publication date 8 September 2026

Published in Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/J.APAL.2026.103824

Mathematics Subject Classification ID

Classification theory, stability, and related concepts in model theory (03C45) Abstract elementary classes and related topics (03C48) Logic with extra quantifiers and operators (03C80) Second- and higher-order model theory (03C85)

Cites work

• A mathematical introduction to logic.
• Abstract elementary classes and accessible categories
• Accessible categories, saturation and categoricity
• Categoricity
• Classification theory and the number of non-isomorphic models.
• Classification theory for accessible categories
• Compactness in team semantics
• COMPLETE LOGICS FOR ELEMENTARY TEAM PROPERTIES
• Compositional semantics for a language of imperfect information
• Dependence and independence
• Dependence logic. A new approach to independence friendly logic
• Dependence of variables construed as an atomic formula
• Every two elementarily equivalent models have isomorphic ultrapowers
• General models and entailment semantics for independence logic
• scientific article; zbMATH DE number 4041886 (Why is no real title available?)
• scientific article; zbMATH DE number 575948 (Why is no real title available?)
• scientific article; zbMATH DE number 1852930 (Why is no real title available?)
• scientific article; zbMATH DE number 3192066 (Why is no real title available?)
• Inclusion and exclusion dependencies in team semantics -- on some logics of imperfect information
• Limit Ultrapowers
• Maximal Logics
• On Characterizing Elementary Logic
• On Extensions of Elementary Logic
• On Löwenheim-Skolem-Tarski numbers for extensions of first order logic
• On supercompactness and the continuum function
• On the role of supercompact and extendible cardinals in logic
• Reduced direct products
• The geometry of 1-based minimal types
• The Kim-Pillay theorem for abstract elementary categories

This page was built for publication: On the model theory of second-order objects

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