CORE

🇺🇦   make metadata, not war

    170 research outputs found

    A Note on Theories for Quasi-Inductive Definitions

    Author
    Publication venue
    'Cambridge University Press (CUP)'
    Publication date
    Field of study
    Get PDF
    Florence Research

    無限ゲーム,帰納的定義,超限的再帰

    Author
    Publication venue
    Publication date
    Field of study
    Get PDF
    要約のみTohoku University田中 一之課
    Tohoku University Repository (TOUR) / 東北大学機関リポジトリ

    On determinacy and arithmetic:First steps towards an account of the determinacy of arithmetic

    Author
    Publication venue
    Publication date
    Field of study
    Get PDF
    King's Research Portal

    Higher Type Recursion for Transfinite Machine Theory

    Author
    Publication venue
    'Springer Science and Business Media LLC'
    Publication date
    Field of study
    Get PDF
    Crossref
    Explore Bristol Research
    • …
    corecore