5 papers
An automata-based test for bricks over string algebras
Amit Kuber, Annoy Sengupta
Motivated by the recent work of Deaconu, Mousavand and Paquette on the connection between infinite string bricks for certain gentle algebras and Sturmian words, we develop a decora…
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"…
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…
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…
Definable Categories
Amit Kuber, Jiří Rosický
We introduce the notion of a definable category--a category equivalent to a full subcategory of a locally finitely presentable category that is closed under products, directed coli…