{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,15]],"date-time":"2025-10-15T00:43:10Z","timestamp":1760488990692,"version":"build-2065373602"},"reference-count":14,"publisher":"Springer Science and Business Media LLC","issue":"8","license":[{"start":{"date-parts":[[2025,8,19]],"date-time":"2025-08-19T00:00:00Z","timestamp":1755561600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"},{"start":{"date-parts":[[2025,8,19]],"date-time":"2025-08-19T00:00:00Z","timestamp":1755561600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"}],"funder":[{"DOI":"10.13039\/501100006382","name":"Universidad de Oviedo","doi-asserted-by":"crossref","id":[{"id":"10.13039\/501100006382","id-type":"DOI","asserted-by":"crossref"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Comp. Appl. Math."],"published-print":{"date-parts":[[2025,12]]},"abstract":"<jats:title>Abstract<\/jats:title>\n          <jats:p>This article presents our approach to modeling a problem posed by a company aiming to optimize the 3D printing of an object within the context of additive manufacturing, where each object is created layer by layer. We introduce the concept of leveled partially ordered sets to manage large sets of points that represent each layer of the object. The core of this paper describes leveled partially ordered sets, linking them to classical ideas in ordered set theory, particularly those satisfying the Jordan\u2013Dedekind chain condition. We also revisit and generalize Birkhoff\u2019s concept of element height. Finally, we explore the planarity of partially ordered sets, particularly leveled partially ordered sets, and prove that under certain conditions any leveled partially ordered set can be completed into a bounded lattice without the need to add new elements to the underlying set, but merely by adding links to the original ordering relation.<\/jats:p>","DOI":"10.1007\/s40314-025-03368-8","type":"journal-article","created":{"date-parts":[[2025,8,19]],"date-time":"2025-08-19T05:50:16Z","timestamp":1755582616000},"update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Leveled partially ordered sets"],"prefix":"10.1007","volume":"44","author":[{"ORCID":"https:\/\/orcid.org\/0009-0003-6209-7282","authenticated-orcid":false,"given":"Fernando","family":"Fueyo","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-8979-5206","authenticated-orcid":false,"given":"Policarpo","family":"Abascal","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-3159-3721","authenticated-orcid":false,"given":"Jorge","family":"Jim\u00e9nez","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-3795-1569","authenticated-orcid":false,"given":"Antonio","family":"Palacio","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-8643-2733","authenticated-orcid":false,"given":"M. L.","family":"Serrano","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-5716-604X","authenticated-orcid":false,"given":"Andreja","family":"Tepavcevic","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2025,8,19]]},"reference":[{"key":"3368_CR1","doi-asserted-by":"publisher","first-page":"177","DOI":"10.1007\/s10957-024-02388-4","volume":"201","author":"P Abascal","year":"2024","unstructured":"Abascal P, Fueyo F, Jim\u00e9nez J et al (2024) Compatible TOSets with POSets: an application to additive manufacturing. J Optim Theory Appl 201:177\u2013198. https:\/\/doi.org\/10.1007\/s10957-024-02388-4","journal-title":"J Optim Theory Appl"},{"key":"3368_CR2","doi-asserted-by":"publisher","unstructured":"Birkhoff G (1933) Applications of lattice algebra. In: Proceedings of the Cambridge Philosophical Society, vol XXX, Part II, pp 115\u2013122. https:\/\/doi.org\/10.1017\/S0305004100016522","DOI":"10.1017\/S0305004100016522"},{"key":"3368_CR3","volume-title":"Lattice theory","author":"G Birkhoff","year":"1948","unstructured":"Birkhoff G (1948) Lattice theory. Colloquium Publications, American Mathematical Society, Providence"},{"key":"3368_CR4","volume-title":"Lattice theory","author":"G Birkhoff","year":"1967","unstructured":"Birkhoff G (1967) Lattice theory, 3rd edn. Colloquium Publications, American Mathematical Society, Providence","edition":"3"},{"issue":"1","key":"3368_CR5","doi-asserted-by":"publisher","first-page":"159","DOI":"10.1090\/S0002-9947-1980-0570784-2","volume":"260","author":"A Bj\u00f6rner","year":"1980","unstructured":"Bj\u00f6rner A (1980) Shellable and Cohen\u2013Macaulay partially ordered sets. Trans Am Math Soc 260(1):159\u2013183. https:\/\/doi.org\/10.1090\/S0002-9947-1980-0570784-2","journal-title":"Trans Am Math Soc"},{"issue":"1","key":"3368_CR6","doi-asserted-by":"publisher","first-page":"323","DOI":"10.1090\/S0002-9947-1983-0690055-6","volume":"277","author":"A Bj\u00f6rner","year":"1983","unstructured":"Bj\u00f6rner A, Wachs M (1983) On lexicographically shellable posets. Trans Am Math Soc 277(1):323\u2013341. https:\/\/doi.org\/10.1090\/S0002-9947-1983-0690055-6","journal-title":"Trans Am Math Soc"},{"issue":"4","key":"3368_CR7","doi-asserted-by":"publisher","first-page":"1299","DOI":"10.1090\/S0002-9947-96-01534-6","volume":"348","author":"A Bj\u00f6rner","year":"1996","unstructured":"Bj\u00f6rner A, Wachs M (1996) Shellable nonpure complexes and posets. I. Trans Am Math Soc 348(4):1299\u20131327","journal-title":"Trans Am Math Soc"},{"issue":"10","key":"3368_CR8","doi-asserted-by":"publisher","first-page":"3945","DOI":"10.1090\/S0002-9947-97-01838-2","volume":"349","author":"A Bj\u00f6rner","year":"1997","unstructured":"Bj\u00f6rner A, Wachs M (1997) Shellable nonpure complexes and posets. II. Trans Am Math Soc 349(10):3945\u20133975","journal-title":"Trans Am Math Soc"},{"key":"3368_CR9","volume-title":"Finite ordered sets. Concepts, results and uses, encyclopedia of mathematics and its applications","author":"N Caspard","year":"2012","unstructured":"Caspard N, Leclerc B, Monjardet B (2012) Finite ordered sets. Concepts, results and uses, encyclopedia of mathematics and its applications. Cambridge University Press, New York"},{"key":"3368_CR10","doi-asserted-by":"publisher","DOI":"10.1002\/9781119069706","volume-title":"Introduction to lattice theory with computer science applications","author":"VK Garg","year":"2015","unstructured":"Garg VK (2015) Introduction to lattice theory with computer science applications. Wiley, New Jersey"},{"key":"3368_CR11","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-031-29063-3","volume-title":"The congruences of a finite lattice","author":"G Gr\u00e4tzer","year":"2023","unstructured":"Gr\u00e4tzer G (2023) The congruences of a finite lattice, 3rd edn. Birkh\u00e4user, Springer Nature, Cham","edition":"3"},{"issue":"4","key":"3368_CR12","doi-asserted-by":"publisher","first-page":"257","DOI":"10.1016\/0012-365X(72)90014-3","volume":"2","author":"L Haskins","year":"1972","unstructured":"Haskins L, Gudder SP (1972) Height on posets and graphs. Discrete Math 2(4):257\u2013382. https:\/\/doi.org\/10.1016\/0012-365X(72)90014-3","journal-title":"Discrete Math"},{"key":"3368_CR13","volume-title":"Algebra","author":"SM Lane","year":"1999","unstructured":"Lane SM, Birkhoff G (1999) Algebra, 3rd edn. AMS Chelsea Publishing, American Mathematical Society, Providence","edition":"3"},{"key":"3368_CR14","doi-asserted-by":"publisher","first-page":"101","DOI":"10.1016\/j.ejc.2004.07.010","volume":"27","author":"P McNamara","year":"2004","unstructured":"McNamara P, Thomas H (2004) Poset edge-labellings and left modularity. Eur J Combin 27:101\u2013113. https:\/\/doi.org\/10.1016\/j.ejc.2004.07.010","journal-title":"Eur J Combin"}],"container-title":["Computational and Applied Mathematics"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s40314-025-03368-8.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s40314-025-03368-8\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s40314-025-03368-8.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,10,14]],"date-time":"2025-10-14T21:03:11Z","timestamp":1760475791000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s40314-025-03368-8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,8,19]]},"references-count":14,"journal-issue":{"issue":"8","published-print":{"date-parts":[[2025,12]]}},"alternative-id":["3368"],"URL":"https:\/\/doi.org\/10.1007\/s40314-025-03368-8","relation":{},"ISSN":["2238-3603","1807-0302"],"issn-type":[{"type":"print","value":"2238-3603"},{"type":"electronic","value":"1807-0302"}],"subject":[],"published":{"date-parts":[[2025,8,19]]},"assertion":[{"value":"27 February 2025","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"26 June 2025","order":2,"name":"revised","label":"Revised","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"31 July 2025","order":3,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"19 August 2025","order":4,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}},{"order":1,"name":"Ethics","group":{"name":"EthicsHeading","label":"Declarations"}},{"value":"The authors declare that there are no conflict of interest related to this manuscript.","order":2,"name":"Ethics","group":{"name":"EthicsHeading","label":"Conflict of interest"}}],"article-number":"416"}}