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
Reflection principles for synthetic theories of smooth manifolds - MaRDI portal

Reflection principles for synthetic theories of smooth manifolds (Q4378768)

From MaRDI portal
scientific article; zbMATH DE number 1124730
Language Label Description Also known as
English
Reflection principles for synthetic theories of smooth manifolds
scientific article; zbMATH DE number 1124730

    Statements

    title
    Reflection principles for synthetic theories of smooth manifolds (English)
    0 references
    author
    Shinichi Yamada
    0 references
    Yoshiharu Kato
    0 references
    publication date
    2 May 2000
    0 references
    zbMATH Keywords
    infinitesimal
    0 references
    describes a project that uses
    ML
    0 references
    HOL
    0 references
    cites work
    Q4039735
    0 references
    Q3679172
    0 references
    La logique des topos
    0 references
    Q4856547
    0 references
    Q3705592
    0 references
    Q3927377
    0 references
    C ∞ -Schemes
    0 references
    Q4002795
    0 references
    Q3882452
    0 references
    Q4723729
    0 references
    Q3994895
    0 references
    Q5287513
    0 references
    Q4145861
    0 references
    Q4100304
    0 references
    Q4178954
    0 references
    Q3918651
    0 references
    Q3727946
    0 references
    Q4875315
    0 references
    Q4187965
    0 references
    Q4003736
    0 references
    Q3997818
    0 references
    Q4098717
    0 references
    Q3725605
    0 references
    Q4117991
    0 references
    Q4318835
    0 references
    Q3333645
    0 references
    Q3317770
    0 references
    Non-standard analysis
    0 references
    Q5803576
    0 references
    Q3284386
    0 references
    Q4302492
    0 references
    Q4071939
    0 references
    Q5822224
    0 references
    Q3716349
    0 references
    Q4363106
    0 references
    Q5831366
    0 references

    Identifiers

    zbMATH DE Number
    1124730
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q4378768&oldid=34197699"
    Powered by MediaWiki