Predicativity and constructive mathematics (Q2080590)

From MaRDI portal
Revision as of 07:56, 30 July 2024 by ReferenceBot (talk | contribs) (‎Changed an Item)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
scientific article
Language Label Description Also known as
English
Predicativity and constructive mathematics
scientific article

    Statements

    title
    Predicativity and constructive mathematics (English)
    0 references
    author
    Laura Crosilla
    0 references
    publication date
    9 October 2022
    0 references
    zbMATH Keywords
    inductive definitions
    0 references
    predicativity
    0 references
    constructive mathematics
    0 references
    vicious circle principle
    0 references
    invariance
    0 references
    cites work
    Q3937387
    0 references
    Q3762311
    0 references
    Q4075450
    0 references
    Q3679172
    0 references
    Q3340832
    0 references
    Q5573965
    0 references
    Q3754620
    0 references
    Q4128540
    0 references
    Q4674788
    0 references
    Q3081636
    0 references
    Q5302559
    0 references
    Q5513756
    0 references
    La prédicativité
    0 references
    Q4099613
    0 references
    Q3328540
    0 references
    Q3688389
    0 references
    Q4726219
    0 references
    Q3999860
    0 references
    Q4247308
    0 references
    Q3481701
    0 references
    Q5331407
    0 references
    Q4220572
    0 references

    Identifiers

    zbMATH DE Number
    7598443
    0 references
    OpenAlex ID
    W4250578329
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q2080590&oldid=36860154"
    Powered by MediaWiki