Key points are not available for this paper at this time.
Abstract We provide two proofs of the compactness theorem for extensions of first‐order logic based on team semantics. First, we build upon Lück's 16 ultraproduct construction for team semantics and prove a suitable version of Łoś' Theorem. Second, we show that by working with suitably saturated models, we can generalize the proof of Kontinen and Yang 13 to sets of formulas with arbitrarily many variables.
Puljujärvi et al. (Wed,) studied this question.