1 citations · 1 across the 3 of their papers we have counts for
1 paper · 1 filter
Jacques Duparc
We propose a proof of the downward Löwenheim-Skolem that relies on strategies deriving from evaluation games instead of the Skolem normal forms. This proof is simpler, and easily u…