Submission date: 9 November 2015

Abstract:

We prove that a strongly compact cardinal is an upper bound for a Hanf number for amalgamation, etc. in AECs using both semantic and syntactic methods. To syntactically prove non-disjoint amalgamation, a different presentation theorem than Shelah's is needed. This relational presentation theorem has the added advantage of being functorial, which allows the transfer of amalgamation.

Mathematics Subject Classification:

Keywords and phrases:

Full text arXiv 1511.02935: pdf, ps.