most citedSome Problems in Logic: Applications of Kripke's Notion of Fulfilment

1 citations · 1 across the 1 of their papers we have counts for

collaborators

1 paper

math.LO2019★ 1 cited

Some Problems in Logic: Applications of Kripke's Notion of Fulfilment

J. E. Quinsey

This is a study of S. Kripke's notion of fulfilment. Motivated by Paris-Harrington statement, Kripke was looking for a proof of Gödel's Incompleteness Theorem which was model-theor…