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