A rigid Boolean algebra that admits the elimination of Q21

DOI10.4064/FM-142-1-1-18MaRDI QIDQ4314799zbMATH OpenOpenAlexFDO

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)