We say that a cardinal \(k\) is a local Hanf-Tarski number of a logic \(L\) if every model \(M\) of an \(L\)-sentence \(\phi\) of size \(k\) can be extended to models of \(\phi\) of arbitrarily large size. In this talk, we present various results concerning local Hanf-Tarski numbers and how they differ from global Hanf-Tarski numbers (for which \(M\) is allowed to have size greater than or equal to \(k\)) and from classical Hanf numbers.
Local Hanf-Tarski numbers
16.10.2025 15:00 - 15:50
Organiser:
KGRC
Location: