Axiomatizing AECs and applications

Leung, S

Leung, S (通讯作者),Carnegie Mellon Univ, Dept Math Sci, 5000 Forbes Ave, Pittsburgh, PA 15213 USA.

ANNALS OF PURE AND APPLIED LOGIC, 2023; 174 (5):

Abstract

For any abstract elementary class (AEC) K with lambda = LS(K), the following holds:1. K has an axiomatization in L(2 lambda)+,lambda+, allowing game q......

Full Text Link