Reduced products, Horn sentences, and decision problems

DOI10.1090/S0002-9904-1967-11640-9MaRDI QIDQ5536656zbMATH OpenFDO

Authors Fred Galvin

Publication date 1967

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

zbMATH Keywords

set theory

Cites work

• scientific article; zbMATH DE number 3316934 (Why is no real title available?)
• scientific article; zbMATH DE number 3185026 (Why is no real title available?)
• scientific article; zbMATH DE number 3192066 (Why is no real title available?)
• scientific article; zbMATH DE number 3062900 (Why is no real title available?)
• A solution of a problem of R. Sikorski
• On closure under direct product
• Reduced Products and Horn Classes
• Reduced direct products
• Some applications of infinitely long formulas
• The first order properties of products of algebraic systems

Cited in

(6)

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

This page was built for publication: Reduced products, Horn sentences, and decision problems

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5536656)