
Constructive and computable Hahn-Banach theorems for the (second) fundamental theorem of welfare economics
Keywords: Fundamental theorems of welfare economics; Hahn-Banach theorem; Constructive analysis; Computable analysis;