Reduced products, Horn sentences, and decision problems

DOI10.1090/S0002-9904-1967-11640-9zbMath0155.34901MaRDI QIDQ5536656

Fred Galvin

Publication date: 1967

Published in: Bulletin of the American Mathematical Society (Search for Journal in Brave)

zbMATH Keywords

set theory

Related Items

Complexity of the problem of being equivalent to Horn formulas, On boolean functions and connected sets, Complexity of the problem of being equivalent to Horn formulas. II, Addendum to “Logic of reduced power structures”, Adequate Ultrafilters of Special Boolean Algebras, Theories with the independence property

Cites Work

• The first order properties of products of algebraic systems
• On closure under direct product
• Reduced direct products
• Some applications of infinitely long formulas
• Reduced Products and Horn Classes
• A solution of a problem of R. Sikorski
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item