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

Shahid Rahman; Radmila Jovanovic; Nicolas Clerbout

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

Shahid Rahman ¹ 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]

Keywords : Philosophy of Logic Foundations of mathematics Logic inference philosophy

Document type :

Journal articles

Domain :

Humanities and Social Sciences / Philosophy

Humanities and Social Sciences

Humanities and Social Sciences / History, Philosophy and Sociology of Sciences

Liste complète des métadonnées

https://halshs.archives-ouvertes.fr/halshs-01225285
Contributor : Shahid Rahman <>
Submitted on : Friday, November 6, 2015 - 12:47:06 AM
Last modification on : Tuesday, July 3, 2018 - 11:20:59 AM

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

Identifiers

Collections

Citation

Export

Metrics

170

Contact

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

Identifiers

Collections

Citation

Export

Share

Metrics

170

Contact