Self-verifying axiom systems, the incompleteness theorem and related reflection principles (Q2747704)

From MaRDI portal
Revision as of 18:50, 27 December 2023 by Daniel (talk | contribs) (‎Created claim: Wikidata QID (P12): Q55899522, #quickstatements; #temporary_batch_1703698927563)
scientific article
Language Label Description Also known as
English
Self-verifying axiom systems, the incompleteness theorem and related reflection principles
scientific article

    Statements

    Self-verifying axiom systems, the incompleteness theorem and related reflection principles (English)
    0 references
    0 references
    29 August 2002
    0 references
    weak axiom systems
    0 references
    subtraction
    0 references
    division
    0 references
    arithmetic
    0 references

    Identifiers