AXIOMS FOR DETERMINATENESS AND TRUTH (Q3580669)

From MaRDI portal
scientific article
Language Label Description Also known as
English
AXIOMS FOR DETERMINATENESS AND TRUTH
scientific article

    Statements

    title
    AXIOMS FOR DETERMINATENESS AND TRUTH (English)
    0 references
    author
    Solomon Feferman
    0 references
    publication date
    13 August 2010
    0 references
    zbMATH DE Number
    5770066
    0 references
    zbMATH Keywords
    formal theory of truth
    0 references
    Gödel numbers
    0 references
    full induction
    0 references
    strong compositionality
    0 references
    determinate meaningful sentences
    0 references
    Peano Arithmetic
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q3580669&oldid=35181906"
    Powered by MediaWiki