Work

An Analysis of the Constructive Content of Henkin’s Proof of Gödel’s Completeness Theorem

Year: 2025

Type: article

Source: Journal of Symbolic Logic

DOI: 10.1017/jsl.2025.10137

Authors: HUGO HERBELIN, DANKO ILIK

Institutions: Institut national de recherche en sciences et technologies du numérique, Université Paris Cité, Centre National d'Études Spatiales

Language: English

Topic: Logic, programming, and type systems

Subfield: Artificial Intelligence

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W4414089606

FWCI:

Cites:

Cited by:

Related to: 10