Boolean ultrapowers

DOI10.1007/BF02025117zbMath0285.02045OpenAlexW4253490792MaRDI QIDQ4770955

Klaus Potthoff

Publication date: 1974

Published in: Archiv für Mathematische Logik und Grundlagenforschung (Search for Journal in Brave)

Full work available at URL: https://eudml.org/doc/137883

Mathematics Subject Classification ID

Other classical first-order model theory (03C68)

Related Items

A remark on pseudo proof systems and hard instances of the satisfiability problem, Boolean fuzzy sets, A Note on Representing and Interpreting MV-Algebras, Unnamed Item

Cites Work

• Generalized ``Boolean theory of universal algebras. I. Subdirect sums and normal representation theorem
• Reduced direct products
• The theory of Boolean ultrapowers
• Boolean Powers in Algebraic Logic
• Limit Ultrapowers