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
Persistently Finite, Persistently Arithmetic Theories - MaRDI portal

Persistently Finite, Persistently Arithmetic Theories (Q3043120)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Persistently Finite, Persistently Arithmetic Theories
scientific article

    Statements

    author
    C. J. Ash
    0 references
    Terrence Millar
    0 references
    publication date
    1983
    0 references
    zbMATH Keywords
    decidable theory
    0 references
    first-order logic
    0 references
    countable models
    0 references
    arithmetical types
    0 references
    arithmetical models
    0 references
    persistently finite theory
    0 references
    title
    Persistently Finite, Persistently Arithmetic Theories (English)
    0 references

    Identifiers

    DOI
    10.2307/2045502
    0 references
    Mathematics Subject Classification ID
    03C57
    0 references
    03C50
    0 references
    03C15
    0 references
    zbMATH DE Number
    3836004
    0 references
    OpenAlex ID
    W4255224893
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q3043120&oldid=34690955"
    Powered by MediaWiki