We show that under the Proper Forcing Axiom, the Alaoglu-Birkhoff equivalence on separative posets of the first uncountable size roughly coincides with regular embeddability .We also investigate the behavior of the equivalence under the Continuum Hypothesis.
展开▼