|
|
|
|
|
Boolean powers,
recursive models, and the Horn theory of a structure
George Clifford Nelson |
|
Vol. 114 (1984), No. 1, 207–220
|
Abstract |
|
This paper concerns the algebraic constructions of Boolean powers and bounded Boolean powers of structures A for an arbitrary first-order language. The notion of B-separating is used to improve results about the logic of reduced power structures. For A recursive we construct recursive models of the theory of each reduced power of A. Finally, it is shown that any complete theory is equivalent to a finitely axiomatizable extension of its Horn consequences. |
Mathematical Subject Classification 2000
Primary: 03C20
Secondary: 03C57
|
Milestones
Received: 28 April 1982
Revised: 9 November 1982
Published: 1 September 1984
|
Authors |
| George Clifford Nelson | |
|
