Collaborated with:
∅
Talks about:
löwenheim (1) properti (1) finitari (1) downward (1) analogu (1) skolem (1)
Person: Abhisekh Sankaran
DBLP: Sankaran:Abhisekh
Contributed to:
Wrote 1 papers:
- CSL-2017-Sankaran
- A Finitary Analogue of the Downward Löwenheim-Skolem Property (AS), p. 21.