English
Related papers

Related papers: Consistency between transitive relations and betwe…

200 papers

Consider a commutative monoid $(M,+,0)$ and a biadditive binary operation $\mu \colon M \times M \to M$. We will show that under some additional general assumptions, the operation $\mu$ is automatically both associative and commutative. The…

Rings and Algebras · Mathematics 2024-06-18 Matthias Schötz

We consider symmetric Markov chains on $\Bbb Z^d$ where we do {\bf not} assume that the conductance between two points must be zero if the points are far apart. Under a uniform second moment condition on the conductances, we obtain upper…

Probability · Mathematics 2007-05-23 Richard F. Bass , Takashi Kumagai

This paper presents and discusses several methods for reasoning from inconsistent knowledge bases. A so-called argumentative-consequence relation taking into account the existence of consistent arguments in favor of a conclusion and the…

Artificial Intelligence · Computer Science 2013-03-08 Salem Benferhat , Didier Dubois , Henri Prade

For a partial order $\preceq$ on a set X and an equivalency relation S defined on the same set X we derive a necessary and sufficient condition for the existence of such a total preorder on X whose asymmetric part contains the asymmetric…

Functional Analysis · Mathematics 2011-11-08 Dmitry V. Akopian , Valentin V. Gorokhovik

In fair division of indivisible goods, using sequences of sincere choices (or picking sequences) is a natural way to allocate the objects. The idea is as follows: at each stage, a designated agent picks one object among those that remain.…

Artificial Intelligence · Computer Science 2018-08-01 Aurélie Beynier , Sylvain Bouveret , Michel Lemaître , Nicolas Maudet , Simon Rey

We consider portfolio selection under nonparametric $\alpha$-maxmin ambiguity in the neighbourhood of a reference distribution. We show strict concavity of the portfolio problem under ambiguity aversion. Implied demand functions are…

General Economics · Economics 2022-06-22 Michail Anthropelos , Paul Schneider

We study the satisfiability problem for the two-variable first-order logic over structures with one transitive relation. % We show that the problem is decidable in 2-NExpTime for the fragment consisting of formulas where existential…

Logic in Computer Science · Computer Science 2019-04-10 Wiesław Szwast , Lidia Tendera

The sequential form of a statement $\forall\xi(B(\xi) \rightarrow \exists\zeta A(\xi,\zeta))$ is the statement $\forall\xi(\forall n B(\xi_n) \rightarrow \exists\zeta \forall n A(\xi_n,\zeta_n))$. There are many classically true statements…

Logic · Mathematics 2016-02-10 François G. Dorais

Many-to-many matching with contracts is studied in the framework of revealed preferences. All preferences are described by choice functions that satisfy natural conditions. Under a no-externality assumption individual preferences can be…

Computer Science and Game Theory · Computer Science 2020-03-05 Daniel Lehmann

We characterize the existence of a nonnegative, sublinear and continuous order-preserving function for a not necessarily complete preorder on a real convex cone in an arbitrary topological real vector space. As a corollary of the main…

General Topology · Mathematics 2007-05-23 Gianni Bosi , Magali E. Zuanon

The paper explores a consumer search setting where the sellers have asymmetries. The model is an extension of the popular Stahl Model, which is widely used in the literature. The extension introduces sellers with heterogeneous stores…

Computer Science and Game Theory · Computer Science 2015-03-20 Sergey Kuniavsky

The syntactic structure of sentences exhibits a striking regularity: dependencies tend to not cross when drawn above the sentence. We investigate two competing explanations. The traditional hypothesis is that this trend arises from an…

Computation and Language · Computer Science 2017-12-14 Ramon Ferrer-i-Cancho , Carlos Gómez-Rodríguez

The paper deals with two issues: the existence of universal models of a theory T and related properties when cardinal arithmetic does not give this existence offhand. In the first section we prove that simple theories (e.g., theories…

Logic · Mathematics 2008-02-03 Saharon Shelah

Two classical problems in economics, the existence of a market equilibrium and the existence of social choice functions, are formalized here by the properties of a family of cones associated with the economy. It was recently established…

Algebraic Topology · Mathematics 2016-09-06 Graciela Chichilnisky

The paper develops no arbitrage results for trajectory based models by imposing general constraints on the trading portfolios. The main condition imposed, in order to avoid arbitrage opportunities, is a local continuity requirement on the…

Probability · Mathematics 2015-01-19 Alexander Alvarez , Sebastian Ferrando

In finite problems comprising objects, situations, and an object- and situation-contingent payoff function, we study the comparative statics of the set of undominated objects, meaning those for which there exists no mixture over objects…

Theoretical Economics · Economics 2026-01-23 Gregorio Curello , Ludvig Sinander , Mark Whitmeyer

This paper establishes the existence of equilibrium in an economy with production and a continuum of consumers, each of whose incomplete and price-dependent preferences are defined on commodities they may consider deleterious, bads which…

Theoretical Economics · Economics 2025-11-04 Robert M. Anderson , Haosui Duanmu , M. Ali Khan , Metin Uyanik

We summarize some facts on chains (totally ordered sets), from an order-theoretic and from a topological point of view. We highlight the fact that many classical theorems that are true for partially ordered sets under some completeness…

General Topology · Mathematics 2013-12-10 Paul Poncet

On a transient weighted graph, there are two models of random walk which continue after reaching infinity: random interlacements, and random walk reflected off of infinity, recently introduced in arXiv:2506.18827 [math.PR]. We prove these…

Probability · Mathematics 2025-12-10 Yao Yu

When a linear order has an order preserving surjection onto each of its suborders we say that it is strongly surjective. We prove that the set of countable strongly surjective linear orders is complete for the class of sets which are the…

Logic · Mathematics 2020-06-30 Riccardo Camerlo , Raphaël Carroy , Alberto Marcone