Related papers: Arrow's Impossibility Theorem Without Unanimity
This paper proposes a model of choice via agentic artificial intelligence (AI). A key feature is that the AI may misinterpret a menu before recommending what to choose. A single acyclicity condition guarantees that there is a monotonic…
We introduce and study the property of orthogonal independence, a restricted additivity axiom applying when alternatives are orthogonal. The axiom requires that the preference for one marginal change over another should be maintained after…
Hedonic games are an archetypal problem in coalition formation, where a set of selfish agents want to partition themselves into stable coalitions. In this work, we focus on two natural constraints on the possible outcomes. First, we require…
We strengthen "The Free Will Theorem" [1] in several ways, by replacing the axiom FIN by a weaker axiom MIN, and also by allowing the particles' responses to depend on past half-spaces rather than on on past light cones. This change allows…
We argue that formal certification of AI alignment over open-ended or unbounded input domains is impossible under standard assumptions in computational complexity and learning theory, and characterise what remains achievable. Two…
The well-known Condorcet Jury Theorem states that, under majority rule, the better of two alternatives is chosen with probability approaching one as the population grows. We study an asymmetric setting where voters face varying…
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…
The rigid relation principle, introduced in this article, asserts that every set admits a rigid binary relation. This follows from the axiom of choice, because well-orders are rigid, but we prove that it is neither equivalent to the axiom…
The provability logic of a theory T is the set of modal formulas, which under any arithmetical realization are provable in T . We slightly modify this notion by requiring the arithmetical realizations to come from a specified set $\Gamma$.…
We give a structure theorem for all coalitionally strategy-proof social choice functions whose range is a subset of cardinality two of a given larger set of alternatives. We provide this in the case where the voters/agents are allowed to…
Arbitrary Arrow Update Logic is a dynamic modal logic that uses an arbitrary arrow update modality to quantify over all arrow updates. Some properties of this logic have already been established, but until now it remained an open question…
Based on the hypothesis that the (non-reversible) arrow of time is intrinsic in any system, no matter how small, the consequences are discussed. Within the framework of local quantum physics it is shown how such a semi-group action of time…
This essay offers a meta-level analysis in the sociology and history of physics in the context of the so-called "Arrow of Time Problem" or "Two Times Problem," which asserts that the empirically observed directionality of time is in…
The uncertainty principle limits quantum states such that when one observable takes predictable values there must be some other mutually unbiased observables which take uniformly random values. We show that this restrictive condition plays…
The basic problem posed by free will (FW) for physics appears to be not the \textit{physical} one of whether it is compatible with the laws of physics, but the \textit{logical} one of how to consistently define it, since it incorporates the…
We prove the Moore and the Myhill property for strongly irreducible subshifts over right amenable and finitely right generated left homogeneous spaces with finite stabilisers. Both properties together mean that the global transition…
This paper proposes a new approach to describe the stability of linear time-invariant systems via the torsion $\tau(t)$ of the state trajectory. For a system $\dot{r}(t)=Ar(t)$ where $A$ is invertible, we show that (1) if there exists a…
A relation extends another relation consistently if its symmetric, respectively its asymmetric, part contains the corresponding part of the smaller relation. It is shown that there exists no finite circular chain made from two transitive…
We show that the Wheeler-DeWitt equation with a consistent boundary condition is only compatible with an arrow of time that formally reverses in a recollapsing universe. Consistency of these opposite arrows is facilitated by quantum effects…
We show that many nice properties of a theory $T$ follow from the corresponding properties of its reducts to finite subsignatures. If $\{ T_i \}_{i \in I}$ is a directed family of conservative expansions of first-order theories and each…