Showing math.LOShow all
3 papers · 1 filter
math.LO2024
Exponentiable linear orders need not be transitive
Mihir Mittal, Amit Kuber
It is well-known that every transitive linear order is exponentiable. However, is the converse true? This question was posed in Chapter 8 of the textbook titled "Linear Orderings"…
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…