{"@context":["https://w3id.org/fdo/context/v1",{"schema":"https://schema.org/","prov":"http://www.w3.org/ns/prov#","fdo":"https://w3id.org/fdo/vocabulary/"}],"@id":"https://fdo.portal.mardi4nfdi.de/fdo/Q1272003","@type":"DigitalObject","kernel":{"@id":"https://fdo.portal.mardi4nfdi.de/fdo/Q1272003","digitalObjectType":"https://schema.org/ScholarlyArticle","primaryIdentifier":"mardi:Q1272003","kernelVersion":"v1","immutable":true,"modified":"2025-07-16T16:47:50Z"},"profile":{"@context":"https://schema.org","@type":"ScholarlyArticle","@id":"https://portal.mardi4nfdi.de/entity/Q1272003","name":"On elementary theories of semilattices of partial orders on sets","headline":"On elementary theories of semilattices of partial orders on sets","description":"scientific article; zbMATH DE number 1225834","url":"https://portal.mardi4nfdi.de/entity/Q1272003","datePublished":"1998-11-22","author":[{"@id":"https://portal.mardi4nfdi.de/entity/Q307878"}],"publisher":[{"@id":"https://portal.mardi4nfdi.de/entity/Q178377"}],"identifier":{"@type":"PropertyValue","propertyID":"doi","value":"10.1007/BF02673907","url":"https://doi.org/10.1007/BF02673907"},"sameAs":["https://doi.org/10.1007/BF02673907"],"comment":"In Algebra Univers. 28, No. 3, 324-338 (1991; Zbl 0743.03026), \\textit{C. Naturman} and \\textit{H. Rose} asked whether the model \\(\\langle A; \\text{Ord} A; P^{3}\\rangle\\), with two basic sets, is interpretable in the semilattice \\(O(A)=\\langle \\text{Ord} A; \\cap\\rangle\\). Here \\(\\text{Ord} A\\) is the collection of all partial orders on a set \\(A\\) and, for \\(a,b,c, \\in A\\cup\\text{Ord} A\\), the predicate \\(P^{3}\\) is realized by the triple \\(\\langle a,b,c\\rangle\\) if and only if \\(a,b\\in A\\), \\(c\\in\\text{Ord} A\\), and \\(\\langle a,b\\rangle\\in c\\). The author gives a positive answer to the question. As a consequence, it is proven that, for arbitrary sets \\(A\\) and \\(B\\), the semilattices \\(O(A)\\) and \\(O(B)\\) are elementarily equivalent if and only if the theories of \\(A\\) and \\(B\\) (in the empty language) coincide in the complete second-order logic. A similar result is also proven for semilattices of quasiorders.","citation":[{"@id":"https://portal.mardi4nfdi.de/entity/Q920980"},{"@id":"https://portal.mardi4nfdi.de/entity/Q1179767"}]},"provenance":{"prov:generatedAtTime":"2025-07-16T16:47:50Z","prov:wasAttributedTo":"MaRDI Knowledge Graph"}}