An application of open maps to categorical logic (Q1055409)

From MaRDI portal
Revision as of 00:20, 31 January 2024 by Import240129110113 (talk | contribs) (Added link to MaRDI item.)
scientific article
Language Label Description Also known as
English
An application of open maps to categorical logic
scientific article

    Statements

    title
    An application of open maps to categorical logic (English)
    0 references
    author
    Andrew M. Pitts
    0 references
    publication date
    1983
    0 references
    Mathematics Subject Classification ID
    03G30
    0 references
    03F65
    0 references
    18B25
    0 references
    zbMATH DE Number
    3823782
    0 references
    zbMATH Keywords
    amalgamation
    0 references
    interpolation theorem
    0 references
    Heyting pretoposes
    0 references
    first-order logic
    0 references
    Grothendieck toposes
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q1055409&oldid=13068528"
    Powered by MediaWiki