We provide a general method to prove the existence and compute efficiently elimination orderings in graphs. Our method relies on several tools that were known before, but that were not put together so far: the algorithm LexBFS due to Rose, Tarjan and Lueker, one of its properties discovered by Berry and Bordat, and a local decomposition property of graphs discovered by Maffray, Trotignon and Vu...

This article tries to explain the exceptional levels of knowledge creation in certain industrial clusters, levels that are seemingly higher than what is implied by the usual models of atomistic agents who do not internalize externalities. For this purpose, we introduce reference-dependent utility into an OLG model of an industrial cluster where agents allocate resources between consumption and ...

Core-selection is a crucial property of social choice functions, or rules, in social choice literature. It is also desirable to address the incentive of agents to cheat by misreporting their preferences. This paper investigates an exchange problem where each agent may have multiple indivisible goods, agents’ preferences over sets of goods are assumed to be lexicographic, and side payments are n...

Nonsmoothness in dynamic process models can hinder conventional methods for simulation, sensitivity analysis, and optimization, and can be introduced, for example, by transitions in flow regime or thermodynamic phase, or through discrete changes in the operating mode of a process. While dedicated numerical methods exist for nonsmooth problems, these methods require generalized derivative inform...

Programming languages theory is full of problems that reduce to proving the consistency of a logic, such as the normalization of typed lambda-calculi, the decidability of equality in type theory, equivalence testing of traces in security, etc. Although the principle of transfinite induction is routinely employed by logicians in proving such theorems, it is rarely used by programming languages r...

Foundations for iterated admissibility (i.e., the iterated removal of weakly dominated strategies) need to confront a fundamental challenge. On the one hand, admissibility requires that a player consider every strategy of their opponents possible. On the other hand, reasoning that the opponents are rational requires ruling out certain strategies. Brandenburger, Friedenberg and Keisler’s (BFK, E...

Coherence-based approaches are quite popular to reason under inconsistency. Most of them are defined with respect to totally preordered belief bases such as the lexicographic inference which is known to have desirable properties from theoretical, practical and psychological points of view. However, partially preordered belief bases offer much more flexibility to represent efficiently incomplete...

It is shown how sorting -numbers and lexicographic can be done completely within TEX. Lexicographic sorting allows words with ligatures and diacritical marks. As applications I selected sorting of address labels, and sorting and compressing i ndex . tex, Knuth's index reminders file. It is claimed that a set can be sorted within TEX once the ordering of the set is defined and encoded in a compa...

We study the problem of allocating objects using lotteries when agents only submit preferences over objects. A standard approach is to “extend” agents’ preferences over objects to preferences over lotteries, using (first-order) stochastic dominance, or the sd-extension. Following Cho (2016), we complement this approach with two alternative extensions, the dland ulextensions, that give rise to l...

It is shown that small fragments of the first-order theory of the subword order, the (partial) lexicographic path ordering on words, the homomorphism preorder, and the infix order are undecidable. This is in contrast to the decidability of the monadic second-order theory of the prefix order [M.O. Rabin, Trans. Amer. Math. Soc., 1969] and of the theory of the total lexicographic path ordering [P...