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
Formal Theories are Acyclic - MaRDI portal

Formal Theories are Acyclic (Q3749042)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Formal Theories are Acyclic
scientific article

    Statements

    title
    Formal Theories are Acyclic (English)
    0 references
    publication date
    1985
    0 references
    zbMATH Keywords
    homotopies of proof
    0 references
    homology
    0 references
    topologization of formal theories
    0 references
    triangulated space
    0 references
    simplicial complex
    0 references
    path
    0 references
    provable formulae
    0 references
    homotopy groups
    0 references

    Identifiers

    Mathematics Subject Classification ID
    03B99
    0 references
    57Q05
    0 references
    55Q52
    0 references
    zbMATH DE Number
    3985196
    0 references
    OpenAlex ID
    W1989541757
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q3749042&oldid=31328317"
    Powered by MediaWiki