Abstract
A characterization of a property of binary relations is of finite type if it is stated in terms of ordered T-tuples of alternatives for some positive integer T. The concept was introduced informally by Knoblauch (2005). We give a clear, complete definition below. We prove that a characterization of finite type can be used to determine in polynomial time whether a binary relation over a finite set has the property characterized. We also prove a simple but useful nonexistence theorem and apply it to three examples.
Similar content being viewed by others
References
Aizerman M., Aleskerov F. (1995), Theory of Choice. Amsterdam, North-Holland
Birkhoff, G. (1948), Lattice Theory, American Mathematical Society Colloquium Publications volume XXX, New York.
Cantor G. (1915), Contributions to the Founding Theory of Transfinite Numbers. Dover, New York
Cantor G. (1985), Beiträge zur Begründing der transfiniten Mengenlehre. Mathematische Annalen, 46, 486–512
Debreu G. (1964), Continuity properties of Paretian utility. International Economic Review 5, 285–293
Dilworth R. (1950), A decomposition theorem for partially ordered sets. Annals Mathematica 51, 277–285
Dushnik B., Miller W. (1941), Partially ordered sets. American Journal of Mathematics 63, 600–610
Hiraguchi T. (1955), On the dimension of orders, Scientific Report 4. Kanazava University, Japan
Knoblauch V. (2005), Characterizing Paretian preferences. Social Choice and Welfare 25, 179–186
Leclerc B. (1976), Arbres et dimensions des orders. Discrete Mathematics 14(1): 69–76
Rudich, S. and Wigderson, A. (eds.) (2004), Computational Complexity Theory. American Mathematical Society, Institute for Advanced Study 10, Providence, R.I.
Sprumont Y. (2001), Paretian quasi-orders: the regular two-agent case. Journal of Economic Theory 101, 437–456
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Knoblauch, V. Binary Relations: Finite Characterizations and Computational Complexity. Theory Decis 65, 27–44 (2008). https://doi.org/10.1007/s11238-007-9079-6
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11238-007-9079-6