A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit the original URL.
The file type is application/pdf
.
Proving Gödel's completeness theorem (in restricted cases) using Sd - Topology over the theory of a Model
2021
Zenodo
This is a continuation and application of Sd-Topology over the theory of a Model (DOI: 10.17148/IARJSET.2020.71201) to provide a lucid and short proof of the famous Gödel's completeness theorem. Here as we are using Sd Topology so the conditions will be restricted as the cardinality of the universe of the working model should be card 𝓤 ≥ℵ0 and also the cardinality of the working theory should be card(Th 𝓤)≥ card (𝓤 ).
doi:10.5281/zenodo.4456187
fatcat:yydfsodswrdwjd7gb4d2sewjl4