Skip to main content Accessibility help

The completeness theorem for infinitary logic

  • Richard Mansfield (a1)


It will be proven that a set of sentences of infinitary logic is satisfiable iff it is proof theoretically consistent. Since this theorem is known to be false, it must be quickly added that an extended notion of model is being used; truth values may be taken from an arbitrary complete Boolean algebra. We shall give a Henkin style proof of this result which generalizes easily to Boolean valued sets of sentences.

For each infinite candinal number κ the language Lκ is built up from a set of relation symbols together with a constant symbol cα and a variable υα for each α in κ. It contains atomic formulas and is closed under the following rules:

(1) If Γ is a set of formulas of power < κ ∧ Γ is a set of formulas.

(2) If φ is a formula, ¬ φ is also.

(3) If φ is a formula and A Is a subset of κ of power < κ then is a formula.

∧Γ is meant to be the conjunction of all the formulas in Γ, while is the universal quantification of all the variables υα for α in A. We let C denote the set of constant symbols in Lκ, the parameter κ must be discovered from the context.

A model is identified with its truth function. Thus a model is a function mapping the sentences of Lκ into a complete Boolean algebra which satisfies the following conditions:



Hide All
[1]Halmos, P. R., Lectures on Boolean algebras, Van Nostrand, Princeton, N.J., 1963.
[2]Henkin, L., The completeness of first order function calculus, this Journal, vol. 14 (1949), pp. 159166.
[3]Karp, C. R., Languages with expressions of infinite length, North-Holland, Amsterdam, 1964.
[4]Keisler, H. J., Infinitary logic, North-Holland, Amsterdam, 1971.
[5]Royden, H. L., Real analysis, MacMillan, New York, 1963.
[6]Scott, D. and Solovay, R. M., Boolean valued models for set theory, Axiomatic set theory, Proceedings of Symposia in Pure Mathematics, vol. 13, Part II, American Mathematical Society, Providence, R.I. (to appear).

The completeness theorem for infinitary logic

  • Richard Mansfield (a1)


Full text views

Total number of HTML views: 0
Total number of PDF views: 0 *
Loading metrics...

Abstract views

Total abstract views: 0 *
Loading metrics...

* Views captured on Cambridge Core between <date>. This data will be updated every 24 hours.

Usage data cannot currently be displayed.