Showing math.LOShow all
2 papers · 1 filter
math.LO2019
Aggregating Relational Structures
Harshit Bisht, Amit Kuber
We generalize the Arrow's impossibility theorem--a key result in social choice theory--to the setting where the arity of the relation under consideration is greater than . S…
math.LO2018
Definable combinatorics with dense linear orders
Himanshu Shukla, Arihant Jain, Amit Kuber
We compute the model-theoretic Grothendieck ring, , of a dense linear order (DLO) with or without end points, , as a structure of the signature…