Non-elementary classes of representable posets
HTML articles powered by AMS MathViewer
- by Rob Egrot PDF
- Proc. Amer. Math. Soc. 145 (2017), 4675-4685 Request permission
Abstract:
A poset is $(\omega ,C)$-representable if it can be embedded into a field of sets in such a way that all existing joins and all existing finite meets are preserved. We show that the class of $(\omega ,C)$-representable posets cannot be axiomatized in first order logic using the standard language of posets. We generalize this result to $(\alpha ,\beta )$-representable posets for certain values of $\alpha$ and $\beta$.References
- Alexander Abian, Boolean rings with isomorphisms preserving suprema and infima, J. London Math. Soc. (2) 3 (1971), 618–620. MR 284384, DOI 10.1112/jlms/s2-3.4.618
- Raymond Balbes, A representation theory for prime and implicative semilattices, Trans. Amer. Math. Soc. 136 (1969), 261–267. MR 233741, DOI 10.1090/S0002-9947-1969-0233741-7
- C. C. Chang and A. Horn, On the representation of $\alpha$-complete lattices, Fund. Math. 51 (1962/63), 253–258. MR 142481, DOI 10.4064/fm-51-3-253-258
- C. C. Chang and H. J. Keisler, Model theory, 3rd ed., Studies in Logic and the Foundations of Mathematics, vol. 73, North-Holland Publishing Co., Amsterdam, 1990. MR 1059055
- R. Egrot, No finite axiomatizations for posets embeddable into distributive lattices, submitted.
- Rob Egrot, Representable posets, J. Appl. Log. 16 (2016), 60–71. MR 3500062, DOI 10.1016/j.jal.2016.03.003
- Robert Egrot and Robin Hirsch, Completely representable lattices, Algebra Universalis 67 (2012), no. 3, 205–217. MR 2910123, DOI 10.1007/s00012-012-0181-4
- Keith A. Kearnes, The class of prime semilattices is not finitely axiomatizable, Semigroup Forum 55 (1997), no. 1, 133–134. MR 1446666, DOI 10.1007/PL00005908
- Y. S. Pawar and N. K. Thakare, On prime semilattices, Canad. Math. Bull. 23 (1980), no. 3, 291–298. MR 593385, DOI 10.4153/CMB-1980-040-1
- B. M. Schein, On the definition of distributive semilattices, Algebra Universalis 2 (1972), 1–2. MR 304250, DOI 10.1007/BF02945000
- K. P. Shum, M. W. Chan, C. K. Lai, and K. Y. So, Characterizations for prime semilattices, Canad. J. Math. 37 (1985), no. 6, 1059–1073. MR 828834, DOI 10.4153/CJM-1985-057-4
- M. H. Stone, Applications of the theory of Boolean rings to general topology, Trans. Amer. Math. Soc. 41 (1937), no. 3, 375–481. MR 1501905, DOI 10.1090/S0002-9947-1937-1501905-7
Additional Information
- Rob Egrot
- Affiliation: Faculty of ICT, Mahidol University, 999 Phuttamonthon 4 Road, Salaya, Nakhon Pathom 73170, Thailand
- MR Author ID: 975488
- ORCID: 0000-0003-1170-8998
- Email: robert.egr@mahidol.ac.th
- Received by editor(s): July 18, 2016
- Received by editor(s) in revised form: December 6, 2016
- Published electronically: May 30, 2017
- Communicated by: Mirna Džamonja
- © Copyright 2017 American Mathematical Society
- Journal: Proc. Amer. Math. Soc. 145 (2017), 4675-4685
- MSC (2010): Primary 06A11, 03G10; Secondary 03C20
- DOI: https://doi.org/10.1090/proc/13636
- MathSciNet review: 3691986