6 citations · 11 across the 9 of their papers we have counts for
1 paper · 1 filter
Joni Puljujärvi, Davide Emilio Quadrellaro
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 ultraproduct construction for team semanti…