<p>In this article, we present a new formal framework called objections structures for the axiomatization and implementation of stable and/or desirable alternatives. This framework models the distribution of power within a society using the concept of an objection function, without explicitly revealing it to the agents. In addition to providing a general environment that encompasses a wide range of scenarios, including the modeling of rights structures and other institutional settings, a key advantage of the objection function is that it frees the social planner from the need to specify which agents or coalitions are authorized to change the status quo. This is particularly relevant in the context of increasingly complex and inefficient mechanisms, often referred to as legislative inflation. First, our axiomatization of the set of stable alternatives, known as the <InlineEquation ID="IEq1"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11238_2025_10051_Article_IEq1.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="13" /> </InlineMediaObject> <EquationSource Format="TEX">\(\Omega\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="normal">Ω</mi> </math></EquationSource> </InlineEquation>-equilibria set, incorporates a surjectivity property along with the well-established properties of monotonicity and attractivity. Second, we characterize implementable social choice rules using objections structures through a consistency principle, called <InlineEquation ID="IEq2"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11238_2025_10051_Article_IEq2.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="18" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathcal {O}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="script">O</mi> </math></EquationSource> </InlineEquation>-consistency. Our axiomatization and implementation results are then applied to the modeling of rights structures.</p>

错误:搜索内容不能为空,请输入英文关键词
错误:关键词超出字数限制,请精简
高级检索

Axiomatization and implementation via objections structures

  • Aymeric Lardon,
  • Stéphane Gonzalez

摘要

In this article, we present a new formal framework called objections structures for the axiomatization and implementation of stable and/or desirable alternatives. This framework models the distribution of power within a society using the concept of an objection function, without explicitly revealing it to the agents. In addition to providing a general environment that encompasses a wide range of scenarios, including the modeling of rights structures and other institutional settings, a key advantage of the objection function is that it frees the social planner from the need to specify which agents or coalitions are authorized to change the status quo. This is particularly relevant in the context of increasingly complex and inefficient mechanisms, often referred to as legislative inflation. First, our axiomatization of the set of stable alternatives, known as the \(\Omega\) Ω -equilibria set, incorporates a surjectivity property along with the well-established properties of monotonicity and attractivity. Second, we characterize implementable social choice rules using objections structures through a consistency principle, called \(\mathcal {O}\) O -consistency. Our axiomatization and implementation results are then applied to the modeling of rights structures.