Abstract
A general result is proved about the existence of maximally consistent theories satisfying prescribed closure conditions. The principle is then used to give ‘streamlined’ proofs of completeness and omitting-types theorems, in which inductive Henkin-style constructions are replaced by a demonstration that a certain theory ‘respects’ a certain class of ‘inference rules’.
Similar content being viewed by others
References
Barwise, Jon: 1975, Admissible Sets and Structures, Springer-Verlag, Berlin, Heidelberg.
Henkin, Leon: 1949, ‘The completeness of the first-order functional calculus’, J. Symbolic Logic 14, 159–166.
Sacks, Gerald E.: 1972, Saturated Model Theory, W. A. Benjamin, Reading, Massachusetts.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Goldblatt, R. An abstract setting for Henkin proofs. Topoi 3, 37–41 (1984). https://doi.org/10.1007/BF00136118
Issue Date:
DOI: https://doi.org/10.1007/BF00136118