WHICH CLASSES OF STRUCTURES ARE BOTH PSEUDO-ELEMENTARY AND DEFINABLE BY AN INFINITARY SENTENCE?

DOI10.1017/bsl.2023.1OpenAlexW2885216076MaRDI QIDQ5884253

Nancy A. Day, Will Boney, Matthew Harrison-Trainor, Barbara F. Csima

Publication date: 20 March 2023

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

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

zbMATH Keywords

infinitary logicextensions of first order logicinfinitarily definable classespseudo-elementary classes

Mathematics Subject Classification ID

Interpolation, preservation, definability (03C40) General logic (03B99)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Computable structures and the hyperarithmetical hierarchy
• Model theory for infinitary logic. Logic with countable conjunctions and finite quantifiers
• Nice infinitary logics
• Lectures on Infinitary Model Theory
• Finite Axiomatizability using additional predicates
• An interpolation theorem for denumerably long formulas
• Infinitary analogs of theorems from first order model theory
• On the model theory of denumerably long formulas with finite strings of quantifiers