A program for the full axiom of choice (Q6342483)

From MaRDI portal
scientific article; zbMATH DE number 7407793
Language Label Description Also known as
English
A program for the full axiom of choice
scientific article; zbMATH DE number 7407793

    Statements

    publication date
    9 June 2020
    0 references
    arXiv ID
    2006.05433
    0 references
    arXiv classification
    cs.LO
    0 references
    math.LO
    0 references
    author
    Jean-Louis Krivine
    0 references
    zbMATH DE Number
    7407793
    0 references
     
      Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q6342483&oldid=34715485"
      Powered by MediaWiki