2 citations · 3 across the 3 of their papers we have counts for
3 papers
cs.LO2021★ 1 cited
Feferman-Vaught Decompositions for Prefix Classes of First Order Logic
Abhisekh Sankaran
The Feferman-Vaught theorem provides a way of evaluating a first order sentence on a disjoint union of structures by producing a decomposition of into sentences which can b…
cs.LO2016
A Generalization of the Łoś-Tarski Preservation Theorem
Abhisekh Sankaran
In this dissertation, we present for each natural number , semantic characterizations of the and prefix classes of first order logic…
cs.LO2012★ 2 cited
Preservation under Substructures modulo Bounded Cores
Abhisekh Sankaran, Bharat Adsul, Vivek Madan +2
We investigate a model-theoretic property that generalizes the classical notion of "preservation under substructures". We call this property \emph{preservation under substructures…