2 citations · 4 across the 4 of their papers we have counts for
1 paper · 2 filters
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…