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

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

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