Affiliation:
1. Faculty of ICT, Mahidol University, 999 Phutthamonthon Sai 4 Rd. Salaya, Nakhon Pathom 73170, Thailand
Abstract
We use model theoretic techniques and games to construct explicit first-order axiomatizations for the classes of posets that can be represented as systems of sets, where the order relation is given by inclusion, and existing meets and joins of specified countable cardinalities correspond to intersections and unions, respectively.
Publisher
World Scientific Pub Co Pte Lt
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献