James Walsh

activity

20232026

most citedA classification of incompleteness statements

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

collaborators

Showing 2024 · math.LOShow all

2 papers · 2 filters

math.LO2024★ 1 cited

A classification of incompleteness statements

Henry Towsner, James Walsh

For which choices of $X, Y, Z \in {Σ_{1}^{1}, Π_{1}^{1}}$ does no sufficiently strong $X$ -sound and $Y$ -definable extension theory prove its own $Z$ -soundness? We give a complete answer, ther…

math.LO2024

Modal definability in Kripke's theory of truth

James Walsh

In Outline of a Theory of Truth, Kripke introduces some of the central concepts of the logical study of truth and paradox. He informally defines some of these -- such as groundedne…