A new algebraic proof of completeness of first order logic
Hongjun Zhou · Journal of Shaanxi Normal University · 2004
A new algebraic proof of the completeness of first order logic is obtained, of which the use of γ-interpretation based on the representation theorem of Boolean algebra is avoided, but the proof is based on the concept of -interpretation with respect to certain Q-filter and the axiom of choice is employed. Moreover, certain shortcomings of the already existing algebraic proof are pointed out and amended.