An analysis of the constructive content of Henkin's proof of Gödel's completeness theorem

January 25, 2024

A new version of this draft paper has been posted here: https://arxiv.org/abs/2401.13304

Hugo Herbelin is the principal author of this paper.

For some earlier preliminary work see my PhD thesis and the formalization. (this old formalization will be updated soon)

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