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
Changing a Semantics: Opportunism or Courage? - MaRDI portal

Changing a Semantics: Opportunism or Courage? (Q3454820)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Changing a Semantics: Opportunism or Courage?
scientific article

    Statements

    title
    Changing a Semantics: Opportunism or Courage? (English)
    0 references
    author
    Nick Bezhanishvili
    0 references
    Istvan Németi
    0 references
    Hajnalka Andréka
    0 references
    publication date
    27 November 2015
    0 references
    zbMATH Keywords
    Henkin models
    0 references
    definable predicates
    0 references
    general frames
    0 references
    absoluteness
    0 references
    general models for recursion and computation
    0 references
    cites work
    Q4836153
    0 references
    Q5482812
    0 references
    Q4198727
    0 references
    Q4075450
    0 references
    Q3762292
    0 references
    Q3122692
    0 references
    Q4342090
    0 references
    Q5573965
    0 references
    Q2744124
    0 references
    Q3208624
    0 references
    Q2740887
    0 references
    Q3128959
    0 references
    Q4530231
    0 references
    Q4287485
    0 references
    Q4298571
    0 references
    Q4049062
    0 references
    Q4108293
    0 references
    Q4230685
    0 references
    Q4002147
    0 references
    Q3917483
    0 references
    Q5732647
    0 references
    Q5549024
    0 references
    Q5681997
    0 references
    Q4063140
    0 references
    Q4636300
    0 references
    Q3170579
    0 references
    Q4967702
    0 references
    Q3984230
    0 references
    Q3077957
    0 references
    Q4858033
    0 references
    Henkin on Completeness
    0 references
    Q5599805
    0 references
    Q4873975
    0 references
    Q3069633
    0 references
    Q3714044
    0 references
    Q3446107
    0 references

    Identifiers

    Mathematics Subject Classification ID
    03B15
    0 references
    03C85
    0 references
    03C98
    0 references
    zbMATH DE Number
    6514166
    0 references
    OpenAlex ID
    W1620485978
    0 references
    arXiv ID
    1411.7636
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q3454820&oldid=36215629"
    Powered by MediaWiki