TY - RPRT TI - On the Set-Representable Orthomodular Posets that are Point-Distinguishing AU - Dominika Burešová AU - Pavel Pták PY - 2024 DO - 10.1007/s10773-023-05436-3 UR - https://arxiv.org/abs/2401.13798 ID - 2401.13798 ER -