Embedding Theorems for Boolean Algebras and Consistency Results on Ordinal Definable Sets.

Petr Stepánek Bohuslav Balcar Embedding Theorems for Boolean Algebras and Consistency Results on Ordinal Definable Sets. 64-76 1977 42 J. Symb. Log. 1 db/journals/jsyml/jsyml42.html#StepanekB77