Cofinality quantifiers in abstract elementary classes and beyond

DOI10.1017/JSL.2023.34MaRDI QIDQ6987830zbMATH OpenFDO

Authors Will Boney

Publication date 6 May 2025

Published in The Journal of Symbolic Logic (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://doi.org/10.1017/JSL.2023.34

zbMATH Keywords

abstract elementary classescofinality quantifiersgeneralized quantifiersSkolemization

Mathematics Subject Classification ID

Abstract elementary classes and related topics (03C48) Logic with extra quantifiers and operators (03C80)

Cites work

• \(\mu\)-abstract elementary classes and other generalizations
• \(^{\perp}N\) as an abstract elementary class
• A course in model theory
• A survey on tame abstract elementary classes
• AN EXPOSITION OF THE COMPACTNESS OF
• Categoricity
• Compact extensions of L(Q) (part 1a)
• Generalized Quantifiers and Compact Logic
• Handbook of mathematical logic. With the cooperation of H. J. Keisler, K. Kunen, Y. N. Moschovakis and A. S. Troelstra. Reprint
• Hanf numbers and presentation theorems in AECs
• scientific article; zbMATH DE number 4041886 (Why is no real title available?)
• Infinitary stability theory
• Logic with the quantifier “there exist uncountably many”
• Model theory for infinitary logic. Logic with countable conjunctions and finite quantifiers
• On Extensions of Elementary Logic
• Structural logic and abstract elementary classes with intersections
• Universal theories and compactly expandable models

This page was built for publication: Cofinality quantifiers in abstract elementary classes and beyond

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