{"entities":{"Q1272003":{"pageid":1282753,"ns":120,"title":"Item:Q1272003","lastrevid":42992134,"modified":"2025-07-16T16:47:50Z","type":"item","id":"Q1272003","labels":{"en":{"language":"en","value":"On elementary theories of semilattices of partial orders on sets"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1225834"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1272003$942AF2CC-16C9-4326-83AB-B060E39CE130","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8ce5cf60e0dbdcd9fd34386244d384c6c1088e9a","datavalue":{"value":{"text":"On elementary theories of semilattices of partial orders on sets","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1272003$59497D27-54BE-4691-8E30-6A0E4061BC6F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ca4dcae9769094bbe1cbdffdfbd1a72217804c1e","datavalue":{"value":"0902.06003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1272003$F514330C-7D07-4A4D-BBBC-046590ABA649","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f648b4e7fe72f1a550e812d3ef3cd56a29446183","datavalue":{"value":"10.1007/BF02673907","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1272003$DCB40E70-DBC6-49D2-B24B-C4184FC877F2","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"61db58adbdfd69e4efef1201cb3d1298d7fdae94","datavalue":{"value":{"entity-type":"item","numeric-id":178377,"id":"Q178377"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1272003$02DC7DE9-F8CC-47FF-92CA-49966E6DFBDF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"806d1bcc2a4ce59bbc97c07119b676fcee7491c0","datavalue":{"value":{"time":"+1998-11-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1272003$21F88CF1-DA24-416D-9F64-B332E3B637EE","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"3f3a96db881e1661f853cd2336e2a79d5b303bc8","datavalue":{"value":"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.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1272003$99A47850-4D58-4C07-9C30-4DA763D962AD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6bc68fdb72eda783db87ef0277cbbfb4c760cdbc","datavalue":{"value":"06A12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1272003$9C06CFE6-9B09-4A9B-9ADE-E09DFBDE12AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd8503cb84d44ac2adb520ebbb11872e6dc1ec3b","datavalue":{"value":"03B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1272003$CD6010B1-374F-4FAC-BC43-3F8679EAB5E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e037813de56311048f7e0a208650360505bf4d4e","datavalue":{"value":"06A06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1272003$F3670508-C00E-468E-978A-A423C6882801","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"36612597bd1d4cb41fb31fb1f43b6878db4ad8fa","datavalue":{"value":"1225834","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1272003$B6D32743-3A0D-4357-B4B8-8B4515A0826C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"126bc261b4ce15426bca501a6725c284417e2bf6","datavalue":{"value":"partial order","type":"string"},"datatype":"string"},"type":"statement","id":"Q1272003$6E0C2F5A-1173-4643-8566-E7E08D0CA6C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f8d9fb2b26e7d5559455c0330013b6cebfe35fe8","datavalue":{"value":"semilattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q1272003$89F0BFBB-7FD8-49A5-ACF0-D1C20B07CB2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"508d90ed2d0cb5ed3bb66db4c84128c9e2d80423","datavalue":{"value":"interpretation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1272003$1CB4FB57-6E08-4110-82CD-6B5DE7EA870D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b4b280eeaf09f76436fe1741f2e411a3175cfd62","datavalue":{"value":"elementarily equivalent semilattices","type":"string"},"datatype":"string"},"type":"statement","id":"Q1272003$D6D81805-DB90-4258-B5CC-64A2A771D7ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f4f4876b36fb653f8833c4640da51d8646ab100","datavalue":{"value":"complete second-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1272003$E31D3178-8184-45E0-A131-145788410644","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e37b70c1c156ca795db15295b6a9eec87e7b4908","datavalue":{"value":{"entity-type":"item","numeric-id":307878,"id":"Q307878"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1272003$0358CD52-87CF-477C-85C6-14CB886E734A","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1272003$7BA1CF8F-0EBC-41C0-AF19-174995AEFDB1","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9771aee5009ddf2552195715fabb9dccd889b31a","datavalue":{"value":{"entity-type":"item","numeric-id":920980,"id":"Q920980"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1272003$D81A31EC-045D-4F38-A618-CFE1984D5452","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"80b2f24e12c1773d30eac6b4e4e50c352ae0b025","datavalue":{"value":{"entity-type":"item","numeric-id":1179767,"id":"Q1179767"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1272003$F60F1388-DA00-4AD4-ACC2-D90BDBAD5229","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ad70532f5f863924f58dcd8d2a34683d1763797b","datavalue":{"value":{"entity-type":"item","numeric-id":3487443,"id":"Q3487443"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"afa0a02d5b623ec625d92d4045ab7cdd43bf690d","datavalue":{"value":{"amount":"+0.9250759","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1272003$0708E517-ACC2-4891-9F07-3DD42A8FA357","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"14dd0d9f11f43a8860a64e31894e0ef43c80b187","datavalue":{"value":{"entity-type":"item","numeric-id":760318,"id":"Q760318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9c5b722415eb9248f724ae758703e724e50c21d8","datavalue":{"value":{"amount":"+0.9245455","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1272003$61F765C2-49E8-4C4E-97F7-70149C1AE176","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4dc666b4345d603b0b8e261215e3a0110fe1dd96","datavalue":{"value":{"entity-type":"item","numeric-id":3828051,"id":"Q3828051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"653133c1a13aefa3d62ff69194be974176a8ef96","datavalue":{"value":{"amount":"+0.92015004","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1272003$49EBC893-62B9-45A6-A0A9-92B56D0C8B8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dfefa2d603407a347ecad8c194dc5e46fe226879","datavalue":{"value":{"entity-type":"item","numeric-id":4290554,"id":"Q4290554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ef13ac27a9a5b6e63cf08e9f5d4eb2135f844d41","datavalue":{"value":{"amount":"+0.9198735","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1272003$4678875E-1DC7-427A-8D86-F995BE980A8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6ec336864c8176630eeb1f62af573fa55c4a5d8d","datavalue":{"value":{"entity-type":"item","numeric-id":5951887,"id":"Q5951887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1c39d2d84cec636c6dde3bbc701f8c3b65620cee","datavalue":{"value":{"amount":"+0.9154311","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1272003$0AA33CCC-E222-424E-B21B-6603132CD5B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c9b370b1cd83032d768a10ddf2b205d40c29a61d","datavalue":{"value":{"entity-type":"item","numeric-id":3828059,"id":"Q3828059"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a721a1f430a2d5bd156bfaad5e62882713c901d0","datavalue":{"value":{"amount":"+0.9143567","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1272003$73525FCC-84C4-4E14-AAE7-2DBC8EB9D943","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ab5e3ba99fa30940c34a778caf829bc1363c4ec8","datavalue":{"value":{"entity-type":"item","numeric-id":3513412,"id":"Q3513412"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d648e5f40c4ca7ca5db6a3761d8622324a1c26bd","datavalue":{"value":{"amount":"+0.91377354","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1272003$622A401D-6241-4E16-B81B-ABC828B8ADA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4e06700d6ce8138ce211237a7a63bdfa6147e812","datavalue":{"value":{"entity-type":"item","numeric-id":4533283,"id":"Q4533283"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"08d9051dff08cbc5d940fc239d6fe35158fe3a8e","datavalue":{"value":{"amount":"+0.9133188","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1272003$BA50ABED-07C1-4074-B71A-222798EEF19A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d130c3538d2072e8e9fdf91e2277eafdf3ffdc3c","datavalue":{"value":{"entity-type":"item","numeric-id":4876701,"id":"Q4876701"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bf179f3f88f8f80b5d7ef406f0a86dcd9bbc3856","datavalue":{"value":{"amount":"+0.9123236","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1272003$A5A8CF93-7E7C-407A-A380-FD3E7B1ED15E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7180322712d79f14111f425fcf090bde61c6ff53","datavalue":{"value":{"entity-type":"item","numeric-id":5717394,"id":"Q5717394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"794032c26aae41da892d922aaf50d056925fb980","datavalue":{"value":{"amount":"+0.9098037","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1272003$A4F13966-729C-402E-A392-47597A893BFF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1272003","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1272003"}}}}}