Constructive Canonicity of Inductive Inequalities (Q6271910)

From MaRDI portal
scientific article; zbMATH DE number 7243670
Language Label Description Also known as
English
Constructive Canonicity of Inductive Inequalities
scientific article; zbMATH DE number 7243670

    Statements

    publication date
    28 March 2016
    0 references
    arXiv ID
    1603.08341
    0 references
    arXiv classification
    math.LO
    0 references
    author
    Willem Conradie
    0 references
    Alessandra Palmigiano
    0 references
    zbMATH DE Number
    7243670
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q6271910&oldid=35830848"
    Powered by MediaWiki