Structural logic and abstract elementary classes with intersections

DOI10.4064/BA8178-12-2018MaRDI QIDQ5382833zbMATH OpenOpenAlexWikidataFDO

Authors Will Boney, Sebastien Vasey

Publication date 18 June 2019

Published in Bulletin Polish Acad. Sci. Math. (Search for Journal in Brave)

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

zbMATH Keywords

abstract elementary classesintersectionsstructural logicuniversal classes

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Abstract elementary classes and related topics (03C48) Logic with extra quantifiers and operators (03C80) Abstract model theory (03C95)

Abstract: We give a syntactic characterization of abstract elementary classes (AECs) closed under intersections using a new logic with a quantifier for isomorphism types that we call structural logic: we prove that AECs with intersections correspond to classes of models of a universal theory in structural logic. This generalizes Tarski's syntactic characterization of universal classes. As a corollary, we obtain that any AEC with countable L"owenheim-Skolem number is axiomatizable in $mathbb{L}_{infty,omega}(Q)$, where $Q$ is the quantifier "there exists uncountably many".

Recommendations

• Abstract elementary classes and infinitary logics
• Classification theory for abstract elementary classes. Vol 2.
• Quasiminimal abstract elementary classes
• A generalization of abstract model theory
• Limits of abstract elementary classes

Cites work

• A note on the axioms for Zilber's pseudo-exponential fields
• Abstract elementary classes and accessible categories
• Abstract elementary classes and infinitary logics
• Accessible Categories: The Foundations of Categorical Model Theory
• Almost Galois \(\omega\)-stable classes
• Categoricity
• Categoricity over P for first order T or categoricity for \(\phi\) \(\in {\mathcal L}_{\omega_ 1\omega}\) can stop at \(\aleph_ k\) while holding for \(\aleph_ 0,\dots ,\aleph_{k-1}\)
• Categoricity, amalgamation, and tameness
• Category-theoretic aspects of abstract elementary classes
• Classification theory for abstract elementary classes. Vol 2.
• Examples of non-locality
• Generalized Quantifiers and Compact Logic
• Hanf numbers and presentation theorems in AECs
• scientific article; zbMATH DE number 6003856 (Why is no real title available?)
• scientific article; zbMATH DE number 3941493 (Why is no real title available?)
• scientific article; zbMATH DE number 4041886 (Why is no real title available?)
• scientific article; zbMATH DE number 3093421 (Why is no real title available?)
• Independence in finitary abstract elementary classes
• Infinitary stability theory
• Iterated elementary embeddings and the model theory of infinitary logic
• Large cardinal axioms from tameness in AECs
• On a generalization of quantifiers
• On quasiminimal excellent classes
• Quasiminimal abstract elementary classes
• Shelah's eventual categoricity conjecture in universal classes. I.
• Shelah's eventual categoricity conjecture in universal classes. II
• Universal abstract elementary classes and locally multipresentable categories
• δ-Logics and generalized quantifiers

Cited in

(4)

• Categoricity in multiuniversal classes
• ON CATEGORICITY IN SUCCESSIVE CARDINALS
• Infinitary logics and abstract elementary classes
• Cofinality quantifiers in abstract elementary classes and beyond

This page was built for publication: Structural logic and abstract elementary classes with intersections

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