Showing 1 - 9 results of 9 for search '"omega-consistency"', query time: 3.85s Refine Results
  1. 1
    Applied logic /
    Table of Contents: “...Questions and Results on [omega]-Consistency --...”

    Book
    Save to List
    Saved in:
  2. 2
    The logic of provability /
    Table of Contents: “.... Modal logic within analysis -- 15. The joint provability logic of consistency and [omega]-consistency...”

    Book
    Save to List
    Saved in:
  3. 3
    An introduction to Gödel's Theorems /
    Table of Contents: “...On [omega]-incompleteness and [omega]-consistency again --...”

    Book
    Save to List
    Saved in:
  4. 4
    Logic, semantics, metamathematics; papers from 1923 to 1938
    Table of Contents: “... and projective sets -- The concept of truth in formalized languages -- Some observations on the concepts of omega...”

    Book
    Save to List
    Saved in:
  5. 5
    On constructive interpretation of predictive mathematics /
    by Parsons, Charles, 1933-
    Published 2017

    This item is not available through BorrowDirect. Please contact your institution’s interlibrary loan office for further assistance.
    Book
    Save to List
    Saved in:
  6. 6
    There's something about Gödel : the complete guide to the incompleteness theorem /
    Table of Contents: “... can a TNT sentence refer to itself? -- Fixed point -- Consistency and omega-consistency -- Proving G1...”

    Book
    Save to List
    Saved in:
  7. 7
    There's something about Gödel : the complete guide to the incompleteness theorem /
    by Berto, Francesco
    Published 2009
    Table of Contents: “...? -- Fixed point -- Consistency and omega-consistency -- Proving G1 -- Rosser's proof -- The unprovability...”

    This item is not available through BorrowDirect. Please contact your institution’s interlibrary loan office for further assistance.
    Book
    Save to List
    Saved in:
  8. 8
    Theres something about G�odel : the complete guide to the incompleteness theorem /
    by Berto, Francesco
    Published 2009
    Table of Contents: “... can a TNT sentence refer to itself? -- Fixed point -- Consistency and omega-consistency -- Proving G1...”

    Book
    Save to List
    Saved in:
  9. 9
    Theres Something about Gödel : The Complete Guide to the Incompleteness Theorem
    by Berto, Francesco
    Published 2009
    Table of Contents: “... to itself? -- 5 γ -- 6 Fixed point -- 7 Consistency and omega-consistency -- 8 Proving G1 -- 9 Rossers proof...”

    This item is not available through BorrowDirect. Please contact your institution’s interlibrary loan office for further assistance.
    Book
    Save to List
    Saved in:
Search Tools: Get RSS Feed — Email this Search — Save Search