最終更新日:2022/12/24
First, given any finite subuppersemilattice U ot 3[0,0'] with top element 0' and an isomorphism type V of a poset extending U consistently with its structure as an usl such that V and U have the same top element and V is an end extension of ...
編集履歴(0)