Алгебры Магари и функции выбора Плотта

Я хотел поговорить о неожиданной и пока необъясненной связи двух тождеств: тождества Леба из теории доказуемости и условия "независимости от пути" Плотта из теории рационального выбора. Не будучи специалистом в теории доказуемости, я сосредоточу свой рассказ больше на функциях выбора. Функции выбора Плотта – замечательная математическая структура, обобщающая понятие частичного порядка в несколько неожиданном направлении. В силу этого такие функции появляются в различных местах – в немонотонной логике, теории стабильности, комбинаторике. И под разными личинами – как выпуклые геометрии, как разреженные пространства, как колмогоровские предтопологии, как обобщенные алгебры Магари.