Mathematical and computational decision models are powerful tools for studyingchoice behavior, and hundreds of distinct decision models have been proposedover the long interdisciplinary history of decision making research. Theexistence of so many models has led to theoretical fragmentation and redundancy,obscuring key insights into choice behavior, and preventing consensus about theessential properties of preferential choice. We provide a synthesis of formalmodels of risky, multiattribute, and intertemporal choice, three importantdomains in decision making. We identify recurring insights discovered byscholars of different generations and different disciplines across these threedomains, and use these insights to classify over 150 existing models asinvolving various combinations of eight key mathematical and computationalproperties. These properties capture the main avenues of theoretical developmentin decision making research and can be used to understand the similarities anddifferences between decision models, aiding both theoretical analyses andempirical tests.