Annals of Pure and Applied LogicVolume 35, 1987, Pages 149-166Choice and well-orderingAuthor links open overlay panelPeter FreydShow moreShareCitehttps://doi.org/10.1016/0168-0072(87)90060-1Get rights and contentUnder a Creative Commons licenseopen archivePrevious article in issueNext article in issueRecommended articlesCited by (0)Copyright © 1987 Published by Elsevier B.V.