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]
Keywords : Philosophy of Logic Foundations of mathematics Logic inference philosophy
Document type :
Journal articles
Complete list of metadatas
https://halshs.archives-ouvertes.fr/halshs-01225285
Contributor : Shahid Rahman <>
Submitted on : Friday, November 6, 2015 - 12:47:06 AM
Last modification on : Wednesday, October 16, 2019 - 2:48:40 PM

Identifiers

  • HAL Id : halshs-01225285, version 1

Collections

CNRS | HIPHISCITECH | STL | UNIV-LILLE

Citation

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⟩

Export

BibTeX TEI DC DCterms EndNote

Share

Metrics

Record views

186

Contact

Informations

CCSD