Research Training Network in Model Theory
Publications > Preprint server > Preprint Number 40

Preprint Number 405

Previous Next Preprint server

405. Roman Wencel
Imaginaries in Boolean algebras

Submission date: 29 December 2011.


Given an infinite Boolean agebra B, we find a natural class of 0-definable equivalence relations E such that B together with all sorts determined by equivalence relations from E admits elimination of imaginaries. The paper generalizes author's earlier result on characterization of Boolean algebras admitting weak elimination of imaginaries.

Mathematics Subject Classification: 03C60, 03G05

Keywords and phrases: Boolean algebra, elimination of imaginaries

Full text: pdf, dvi, ps.

Last updated: January 2 2012 11:25 Please send your corrections to: