A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf
.
Recursive embeddings of partial orderings
1977
Canadian Journal of Mathematics - Journal Canadien de Mathematiques
Introduction. Let S!I be a countable atomless Boolean algebra and let X be a countable partial ordering. We prove that there exists an embedding of X intod which is recursive in X, S!I and which destroys all suprema and infima of X which can be destroyed. We show that the above theorem is false when we try to preserve all suprema and infima of X instead of destroying them. Finally we indicate that if d and f!fi are countable Boolean algebras and f!J is atomless thend can be embedded into f!J by
doi:10.4153/cjm-1977-038-5
fatcat:soxahlel4ncc7anmhubonf5u5m