Recursive axiomatizations for representable posets
© 2019 World Scientific Publishing Company. 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 co...
Saved in:
| Main Author: | |
|---|---|
| Other Authors: | |
| Format: | Article |
| Published: |
2020
|
| Subjects: | |
| Online Access: | https://repository.li.mahidol.ac.th/handle/123456789/51220 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Institution: | Mahidol University |
| id |
th-mahidol.51220 |
|---|---|
| record_format |
dspace |
| spelling |
th-mahidol.512202020-01-27T16:13:30Z Recursive axiomatizations for representable posets Rob Egrot Mahidol University Mathematics © 2019 World Scientific Publishing Company. 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. 2020-01-27T09:13:30Z 2020-01-27T09:13:30Z 2019-06-01 Article International Journal of Algebra and Computation. Vol.29, No.4 (2019), 699-711 10.1142/S021819671950022X 02181967 2-s2.0-85061753495 https://repository.li.mahidol.ac.th/handle/123456789/51220 Mahidol University SCOPUS https://www.scopus.com/inward/record.uri?partnerID=HzOxMe3b&scp=85061753495&origin=inward |
| institution |
Mahidol University |
| building |
Mahidol University Library |
| continent |
Asia |
| country |
Thailand Thailand |
| content_provider |
Mahidol University Library |
| collection |
Mahidol University Institutional Repository |
| topic |
Mathematics |
| spellingShingle |
Mathematics Rob Egrot Recursive axiomatizations for representable posets |
| description |
© 2019 World Scientific Publishing Company. 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. |
| author2 |
Mahidol University |
| author_facet |
Mahidol University Rob Egrot |
| format |
Article |
| author |
Rob Egrot |
| author_sort |
Rob Egrot |
| title |
Recursive axiomatizations for representable posets |
| title_short |
Recursive axiomatizations for representable posets |
| title_full |
Recursive axiomatizations for representable posets |
| title_fullStr |
Recursive axiomatizations for representable posets |
| title_full_unstemmed |
Recursive axiomatizations for representable posets |
| title_sort |
recursive axiomatizations for representable posets |
| publishDate |
2020 |
| url |
https://repository.li.mahidol.ac.th/handle/123456789/51220 |
| _version_ |
1763490801945411584 |