General Revealed Preference Theory

We generalize the standard revealed preference exercise in economics, and prove a sufficient condition under which the revealed preference formulation of an economic theory has universal implications and when these implications can be recursively enumerated. We apply our theorem to two theories of group behavior: the theory of group preference and the theory of Nash equilibrium.

[1]  R. Aumann.  Acceptable points in games of perfect information. , 1960 .

[2]  J. Quah,et al.  A revealed preference test for weakly separable preferences , 2012 .

[3]  C. Plott.  On Game Solutions and Revealed Preference Theory , 1974 .

[4]  Robert Wilson.  The finer structure of revealed preference , 1970 .

[5]  D. Fudenberg,et al.  A Dual Self Model of Impulse Control , 2004, The American economic review.

[6]  Yves Sprumont.  Paretian Quasi-orders: The Regular Two-Agent Case , 2001, J. Econ. Theory.

[7]  Ben Dushnik,et al.  Partially Ordered Sets , 1941 .

[8]  J. Benthem,et al.  Ramsey eliminability , 1978 .

[9]  P. Samuelson.  A Note on the Pure Theory of Consumer's Behaviour , 1938 .

[10]  Vicki Knoblauch,et al.  Characterizing Paretian preferences , 2005, Soc. Choice Welf..

[11]  박상용.  [경제학] 현시선호이론(Revealed Preference Theory) , 1980 .

[12]  R. Gradwohl,et al.  TRACTABLE FALSIFIABILITY , 2015, Economics and Philosophy.

[13]  David C. Mcgarvey.  A THEOREMI ON THE CONSTRUCTION OF VOTING PARADOXES , 1953 .

[14]  Jr. Hartley Rogers.  Theory of Recursive Functions and Effective Computability , 1969 .

[15]  Chen C. Chang,et al.  Model Theory: Third Edition (Dover Books On Mathematics) By C.C. Chang;H. Jerome Keisler;Mathematics , 1966 .

[16]  William Craig,et al.  Finite Axiomatizability using additional predicates , 1958, Journal of Symbolic Logic.

[17]  Neil Immerman,et al.  Descriptive Complexity , 1999, Graduate Texts in Computer Science.

[18]  Salil P. Vadhan,et al.  Computational Complexity , 2005, Encyclopedia of Cryptography and Security.

[19]  M. Kendall,et al.  The Logic of Scientific Discovery. , 1959 .

[20]  Christopher P. Chambers,et al.  The Axiomatic Structure of Empirical Content , 2014 .

[21]  Kristian Kirsch,et al.  The Logical Structure Of Mathematical Physics , 2016 .

[22]  Matthew Polisson,et al.  Revealed preference tests under risk and uncertainty , 2013 .

[23]  Yves Sprumont,et al.  On the Testable Implications of Collective Choice Theories , 2000, J. Econ. Theory.

[24]  Daniel A. Hojman,et al.  Choice, Rationality and Welfare Measurement , 2007 .

[25]  Rosa L. Matzkin,et al.  Testable Restrictions on the Equilibrium Manifold , 1996 .

[26]  Ronald Fagin.  Generalized first-order spectra, and polynomial. time recognizable sets , 1974 .

[27]  Herbert B. Enderton,et al.  A mathematical introduction to logic , 1972 .

[28]  Amartya Sen,et al.  Quasi-Transitivity, Rational Choice and Collective Decisions , 1969 .

[29]  D. Marker.  Model theory : an introduction , 2002 .

[30]  H. Houthakker.  Revealed Preference and the Utility Function , 1950 .

[31]  S. Afriat.  THE CONSTRUCTION OF UTILITY FUNCTIONS FROM EXPENDITURE DATA , 1967 .

[32]  Saharon Shelah.  What majority decisions are possible , 2009, Discret. Math..

[33]  K. Suzumura.  Remarks on the Theory of Collective Choice , 1976 .

[34]  Attila Ambrus,et al.  Revealed Conflicting Preferences , 2008 .

[35]  J. Sneed,et al.  The Logical Structure of Mathematical Physics , 1971 .

[36]  Leonid Libkin,et al.  Elements of Finite Model Theory , 2004, Texts in Theoretical Computer Science.

[37]  S. Tijs,et al.  The consistency principle for games in strategic form , 1996 .

[38]  W. Trotter,et al.  Combinatorics and Partially Ordered Sets: Dimension Theory , 1992 .

[39]  Eitan M. Gurari,et al.  Introduction to the theory of computation , 1989 .

[40]  P. Samuelson.  A Note on the Pure Theory of Consumer's Behaviour: An Addendum , 1938 .

[41]  SangMok Lee,et al.  The testable implications of zero-sum games , 2012 .

[42]  F. Ramsey.  The foundations of mathematics , 1932 .

[43]  Gary James Jason,et al.  The Logic of Scientific Discovery , 1988 .

[44]  John O. Ledyard,et al.  The scope of the hypothesis of Bayesian equilibrium , 1986 .

[45]  Ted O’Donoghue,et al.  Doing It Now or Later , 1999 .

[46]  John Duggan,et al.  A General Extension Theorem for Binary Relations , 1999 .

[47]  William Craig,et al.  On axiomatizability within a system , 1953, Journal of Symbolic Logic.

[48]  Lin Zhou,et al.  Rationalizability of choice functions by game trees , 2007, J. Econ. Theory.

[49]  Rajat Deb,et al.  On Constructing Generalized Voting Paradoxes , 1976 .

[50]  L. Boland.  On the Futility of Criticizing the Neoclassical Maximization Hypothesis , 1981 .

[51]  Peter C. Fishburn,et al.  Partial orders of dimension 2 , 1972, Networks.

[52]  Zeno G. Swijtink.  Eliminability in a cardinal , 1976 .

[53]  P. Mongin.  Are “All-and-Some” Statements Falsifiable After All?: The Example of Utility Theory , 1986, Economics and Philosophy.

[54]  J. Weymark,et al.  A Quasiordering Is the Intersection of Orderings , 1998 .

[55]  Á. Galambos,et al.  The Complexity of Nash Rationalizability , 2009 .

[56]  E. Szpilrajn.  Sur l'extension de l'ordre partiel , 1930 .

[57]  Felix Kubler,et al.  Computational Aspects of General Equilibrium Theory: Refutable Theories of Value , 2008 .

[58]  Paola Manzini,et al.  Sequentially Rationalizable Choice , 2007 .

[59]  F. Echenique,et al.  Implications of Pareto efficiency for two-agent (household) choice , 2011 .

[60]  A. Tarski.  Contributions to the theory of models. III , 1954 .

[61]  Wolfgang Rautenberg.  Elements of Model Theory , 2010 .

[62]  A. Tarski.  A Decision Method for Elementary Algebra and Geometry , 2023 .

[63]  H. Simon.  Quantification of Theoretical Terms and the Falsifiability of Theories , 1985, The British Journal for the Philosophy of Science.

[64]  Kfir Eliaz,et al.  Reason-Based Choice: A Bargaining Rationale for the Attraction and Compromise Effects , 2009 .

[65]  A. Tarski.  MATHEMATICSContributions to the Theory of Models. I , 1954 .