Bibliography · Foundations and Logic

Solution of a Problem of Leon Henkin

Article Formal Antecedent Foundations and Logic

Citation

Martin Hugo Löb. (1955). Solution of a Problem of Leon Henkin. Journal of Symbolic Logic. 20(2). pp. 115–118.

Publisher

Why this reference is included

Löb’s 1955 Solution of a Problem of Leon Henkin, published in Journal of Symbolic Logic, is one of the program’s working technical references. Cited across Book I (Categorical Foundations), Part 18, Chapter The Self-Hosting Landscape; Book I (Categorical Foundations), Part 18, Chapter Star-Autonomous Categories and the Diagonal Barrier — the central framing is “L"ob (1955). L"ob’s theorem sharpens G"odel’s Second Incompleteness Theorem”.

Cited in

  • Book I — Categorical Foundations Part 18
    Chapter The Self-Hosting Landscape
    L\"ob (1955). L\"ob's theorem sharpens G\"odel's Second Incompleteness Theorem
  • Book I — Categorical Foundations Part 18
    Chapter Star-Autonomous Categories and the Diagonal Barrier
    L\"ob's theorem in substructural settings is under-explored ; it is not known whether a linear analogue of L\"ob's argument could block self-hosting even in the absence of free contraction

Bibliographic Details

BibTeX KeyLob1955
AuthorsMartin Hugo Löb
Year
TypeArticle
Journal / BookJournal of Symbolic Logic
Volume20(2)
Pages115--118