Publication:3367516
From MaRDI portal
zbMath1099.03045MaRDI QIDQ3367516
Publication date: 24 January 2006
03E70: Nonclassical and second-order set theories
03F55: Intuitionistic mathematics
03E25: Axiom of choice and related propositions
Related Items