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
On the construction of fully interpreted formal languages which posses their truth predicates - MaRDI portal

On the construction of fully interpreted formal languages which posses their truth predicates (Q2968137)

From MaRDI portal
scientific article
Language Label Description Also known as
English
On the construction of fully interpreted formal languages which posses their truth predicates
scientific article

    Statements

    publication date
    9 March 2017
    0 references
    zbMATH Keywords
    language
    0 references
    formal
    0 references
    fully interpreted
    0 references
    sentence
    0 references
    Gödel number
    0 references
    truth predicate
    0 references
    fixed point
    0 references
    author
    Seppo Heikkilä
    0 references
    arXiv classification
    math.LO
    0 references

    Identifiers

    Mathematics Subject Classification ID
    00A30
    0 references
    03B10
    0 references
    47H04
    0 references
    47H10
    0 references
    68Q45
    0 references
    zbMATH DE Number
    6693762
    0 references
    arXiv ID
    1511.02782
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q2968137&oldid=33613508"
    Powered by MediaWiki