A rigid Boolean algebra that admits the elimination of Q21

DOI10.4064/FM-142-1-1-18zbMATH Open0809.03021OpenAlexW272943967MaRDI QIDQ4314799FDOQ4314799

Authors: Heike Mildenberger 

Publication date: 3 April 1995

Published in: Fundamenta Mathematicae (Search for Journal in Brave)

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

zbMATH Keywords

antichainhomogeneous setsdiamondelimination of Malitz quantifierrigid atomless Boolean algebra

Mathematics Subject Classification ID

Logic with extra quantifiers and operators (03C80) Other combinatorial set theory (03E05) Set-theoretic model theory (03C55) Quantifier elimination, model completeness, and related topics (03C10) Chain conditions, complete algebras (06E10)

This page was built for publication: A rigid Boolean algebra that admits the elimination of Q21

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