FINITIST AXIOMATIC TRUTH (Q5879176)

From MaRDI portal
Revision as of 23:44, 19 March 2024 by Openalex240319060354 (talk | contribs) (Set OpenAlex properties.)
scientific article; zbMATH DE number 7657274
Language Label Description Also known as
English
FINITIST AXIOMATIC TRUTH
scientific article; zbMATH DE number 7657274

    Statements

    FINITIST AXIOMATIC TRUTH (English)
    0 references
    0 references
    0 references
    27 February 2023
    0 references
    finitist language
    0 references
    finitist theory
    0 references
    finitist arithmetic
    0 references
    Tarski ramified truth
    0 references
    Kripke-Feferman truth
    0 references
    Friedman-Sheard truth
    0 references
    groundedness of truth
    0 references
    valuation function
    0 references
    \( \Delta^0_0\) (hat) inductive definition
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references