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
The Countable Henkin Principle - MaRDI portal

The Countable Henkin Principle (Q3454812)

From MaRDI portal
scientific article
Language Label Description Also known as
English
The Countable Henkin Principle
scientific article

    Statements

    title
    The Countable Henkin Principle (English)
    0 references
    author
    Robert Goldblatt
    0 references
    publication date
    27 November 2015
    0 references
    zbMATH Keywords
    deducibility
    0 references
    inference
    0 references
    finitely consistent
    0 references
    maximally consistent
    0 references
    countable Henkin principle
    0 references
    Lindenbaum's lemma
    0 references
    completeness
    0 references
    omitting types
    0 references
    probabilistic modality
    0 references
    Archimedean inference
    0 references
    Baire category theorem
    0 references

    Identifiers

    Mathematics Subject Classification ID
    03C07
    0 references
    03B05
    0 references
    03B45
    0 references
    03F03
    0 references
    zbMATH DE Number
    6514159
    0 references
    OpenAlex ID
    W2145163492
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q3454812&oldid=36215622"
    Powered by MediaWiki