An analysis of the constructive content of Henkin's proof of Gödel's completeness theorem (August 2025 update)

August 17, 2025

A new version of this draft paper has been posted here: https://arxiv.org/abs/2401.13304 (soon to appear in the Journal of Symbolic Logic)

Hugo Herbelin is the principal author of this paper.

For some earlier preliminary work see my PhD thesis and the updated formalization on my site or on github .

Comment here: @danko@mamot.fr Follow using the Fediverse ID: @danko@blog.iaddg.net