Deprecated: $wgMWOAuthSharedUserIDs=false is deprecated, set $wgMWOAuthSharedUserIDs=true, $wgMWOAuthSharedUserSource='local' instead [Called from MediaWiki\HookContainer\HookContainer::run in /var/www/html/w/includes/HookContainer/HookContainer.php at line 135] in /var/www/html/w/includes/Debug/MWDebug.php on line 372
Syntactic forcing models for coherent logic - MaRDI portal

Syntactic forcing models for coherent logic (Q1788327)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Syntactic forcing models for coherent logic
scientific article

    Statements

    title
    Syntactic forcing models for coherent logic (English)
    0 references
    author
    Marc Bezem
    0 references
    Ulrik Buchholtz
    0 references
    Thierry Coquand
    0 references
    publication date
    8 October 2018
    0 references

    Identifiers

    Mathematics Subject Classification ID
    03G30
    0 references
    03B20
    0 references
    18B25
    0 references
    zbMATH DE Number
    6948551
    0 references
    OpenAlex ID
    W2963122775
    0 references
    arXiv ID
    1712.07743
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q1788327&oldid=36432134"
    Powered by MediaWiki