The Dialogical Take on Martin-Löf’s Proof of the Axiom of Choice

Shahid Rahman (1) , Radmila Jovanovic (2, 1) , Nicolas Clerbout (1, 3)

1 STL - Savoirs, Textes, Langage (STL) - UMR 8163
2 University of Belgrade [Belgrade]
3 Universidad de Valparaiso [Chile]

Mots clés: philosophy; Foundations of mathematics; Logic inference; Philosophy of Logic

Domaines: Philosophie; Sciences de l'Homme et Société; Histoire, Philosophie et Sociologie des sciences

Shahid Rahman, Radmila Jovanovic, Nicolas Clerbout. The Dialogical Take on Martin-Löf’s Proof of the Axiom of Choice. South American Journal of Logic , 2015. ⟨halshs-01225285⟩