{"entities":{"Q1040653":{"pageid":1042501,"ns":120,"title":"Item:Q1040653","lastrevid":66014013,"modified":"2026-04-12T06:56:59Z","type":"item","id":"Q1040653","labels":{"en":{"language":"en","value":"Definability in substructure orderings. I: Finite semilattices"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5638421"}},"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":"Q1040653$FCFAC8FA-2718-4354-B280-CF8C4C886E2E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ab19021b8323885972517db1d157d1d80ab773e0","datavalue":{"value":{"text":"Definability in substructure orderings. I: Finite semilattices","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1040653$5EE10E95-48FE-45F7-9C97-06D2BFA2CB53","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"eb91383b9323d2a94aaf1c69cf9764259385e6e1","datavalue":{"value":"1181.08004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1040653$72C5B175-2BCB-44D3-9743-7953B8EFF863","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"20017067c31a46e9902d76352f9cf4b16770f2b3","datavalue":{"value":{"entity-type":"item","numeric-id":185681,"id":"Q185681"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1040653$270321C6-5A0A-4D94-8250-7A1CBC25AAD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f31c4a8220ce9c18d6cde842569cc3daacfc604b","datavalue":{"value":{"entity-type":"item","numeric-id":1223491,"id":"Q1223491"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1040653$F1148D32-9CE9-4309-AABE-9AAFBE902734","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"8fa179c8715004e2374d4db0c3ce41b39558e95d","datavalue":{"value":{"entity-type":"item","numeric-id":178112,"id":"Q178112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1040653$51FE3704-45B6-427C-AECE-D4810B7F9F85","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"74360fd0e383eeb4108c100504aea295aab7ad39","datavalue":{"value":{"time":"+2009-11-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1040653$2A0A8535-D6B9-48C2-BBC7-3B51D948EFB1","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"5f8d8b79d74f1d6fd1db0e1f9692ba479e558df7","datavalue":{"value":"Let \\(K\\) be a fixed class of structures of some given finite signature. Consider the collection \\(L\\) of all subclasses of \\(K\\) that are axiomatizable by a selected type \\(T\\) of axioms. This collection is usually a complete lattice with respect to inclusion. Let us say that \\(L\\) has \\textit{positive definability} if one can prove the following statements:   (1) the collection of all finitely \\(T\\)-axiomatizable subclasses of \\(K\\) is a definable subset of \\(L\\) and every element of that collection is definable in \\(L\\) up to the automorphisms of \\(L\\);   (2) the collection of all finitely generated \\(T\\)-subclasses of \\(K\\) is a definable subset of \\(L\\) and every element of that collection is definable in \\(L\\) up to the automorphisms of \\(L\\);   (3) the collection of the subclasses of \\(K\\) that are axiomatizable by a single \\(T\\)-axiom is a definable subset of \\(L\\);   (4) \\(L\\) has no other automorphisms than the obvious, syntactically defined ones.   In this paper, the authors investigate definability in the set of isomorphism types of finite semilattices ordered by embeddability; they prove, among other things, that every finite semilattice is a definable element in this ordered set. Then they apply these results to investigate definability in the closely related lattice of universal classes of semilattices; also, they prove that the lattice has no non-identical automorphisms, the set of finitely generated universal classes and also the set of finitely axiomatizable universal classes are definable subsets and each element of the two subsets is a definable element in the lattice.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1040653$02438C05-8367-4503-B584-065C872965E1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a65487c7726591096aeacf67e5838b6764f4f370","datavalue":{"value":"08B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1040653$3EEA7AA0-016E-4D31-A84E-901C22DDDB8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed4ac44229a63771ae4ded31038fe93f434bffb7","datavalue":{"value":"03C05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1040653$E27C0BAF-F42C-48F6-BCD2-FC9120F18A63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c1d2d83da0d870574277144fdd1db9abaae162ec","datavalue":{"value":"03C40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1040653$9999853E-6FEA-4CD0-B10D-CCA674A9108F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6bc68fdb72eda783db87ef0277cbbfb4c760cdbc","datavalue":{"value":"06A12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1040653$CBADF7FA-287E-49B3-8F65-AB2D046B3327","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a81ca5b8726a2034b277ccf6907b245cba0e29b4","datavalue":{"value":"08C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1040653$1BACB663-CDC7-4FC1-A0BD-890F41CD44AB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"900eb0d5b4671f1d0a45883387b342b0f25d7753","datavalue":{"value":"5638421","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1040653$CD3EE9F4-1D4C-4E2F-9CEE-4296547D5C37","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3d5f541786650999fd81ea96dbf93e1e537e8efc","datavalue":{"value":"positive definability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1040653$E8571DD9-57DD-4E31-94DC-DD9EEDFED253","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1d49c03d6441efa48ce4ddb893386eecd35f0914","datavalue":{"value":"finite semilattices","type":"string"},"datatype":"string"},"type":"statement","id":"Q1040653$268DA242-0FF1-4628-AFBE-EDA27EB0B73A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cf83d0d1d89ca4cd80b32939d584454b524a845e","datavalue":{"value":"lattice of universal classes","type":"string"},"datatype":"string"},"type":"statement","id":"Q1040653$5A4A8365-C97A-4F88-A2FC-50EE8BE98F43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"72fee66ce72c7931bbe2daed34073f05c7556182","datavalue":{"value":"finitely generated universal classes","type":"string"},"datatype":"string"},"type":"statement","id":"Q1040653$6DD20482-00E6-4E2F-A188-CD34A03364A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8d6a1c9e7cec4d1d576ef3d10372acd883cfb563","datavalue":{"value":"finitely axiomatizable universal classes","type":"string"},"datatype":"string"},"type":"statement","id":"Q1040653$5BA4F08A-4F0F-48AB-A7A6-B9D1A2C41897","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"35ea846fbd37eef2bf04aa3916128060dde76b2f","datavalue":{"value":{"entity-type":"item","numeric-id":277571,"id":"Q277571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1040653$B40EC0F5-893B-47B9-81F5-99A5E47BE76D","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":"Q1040653$02BE1AD0-53C8-4503-AC4C-40D1A7AAF88B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"866a5067617949075d739b8aadcee6fa62cb116a","datavalue":{"value":"https://doi.org/10.1007/s00012-009-0002-6","type":"string"},"datatype":"url"},"type":"statement","id":"Q1040653$6E7A4E99-987C-4EB6-916B-3D0882D67334","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"054fae029762c0c419a095f22d7e1dd71161a0e1","datavalue":{"value":"W2106009495","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1040653$C24FD4BA-BD5C-447E-B308-D0749E34C755","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e472326504e187ae8fab504b171ee9cc8e9103e2","datavalue":{"value":{"entity-type":"item","numeric-id":3599860,"id":"Q3599860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1040653$0A64D048-930E-432B-B633-983A987D61AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"813bc49701b3df07f012765c7deb7121604820fb","datavalue":{"value":{"entity-type":"item","numeric-id":1209280,"id":"Q1209280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1040653$FB833170-3EAE-4397-8298-8E763E1845D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a1dca036725db0bc06508d23f2ebe51c27e1a70","datavalue":{"value":{"entity-type":"item","numeric-id":4813816,"id":"Q4813816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1040653$8A15E92C-AD76-48C8-B051-13EE5D98D2EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"45ff1ac00928c17b6ad1c231d45ff9943a9b4170","datavalue":{"value":{"entity-type":"item","numeric-id":3751631,"id":"Q3751631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1040653$29AA438E-CB74-4DA8-B5A1-3FB96C9B0AEC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e6b556769b9a6ac38cf0c1ee9f7e68c9b7244c4b","datavalue":{"value":"10.1007/S00012-009-0002-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1040653$8F0E7896-FC2D-4F70-A606-AA6D6403A286","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0acf8bf4480927a38760ad83e977209eb0828139","datavalue":{"value":{"entity-type":"item","numeric-id":981680,"id":"Q981680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"27e1c0aeceb812e67bbdbf73e54e7c5592831c6e","datavalue":{"value":{"amount":"+0.8597745895385742","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1040653$64BB8E24-3ECD-4E41-AFE9-38C9A200BF93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4d20039c8466fdb0f68a2475a9a7a570acef0794","datavalue":{"value":{"entity-type":"item","numeric-id":1047103,"id":"Q1047103"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f098cf3a0162325f1c28426bc677ca40c313b2ef","datavalue":{"value":{"amount":"+0.8372513055801392","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1040653$6D254EED-2371-424E-BCA2-B84C4B4DA3B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f3ed56d7529dc25a98b5da3880a5c71a0fc3c57a","datavalue":{"value":{"entity-type":"item","numeric-id":259729,"id":"Q259729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"64516c0a1233853796126c6a6509151e4c5dbadc","datavalue":{"value":{"amount":"+0.8326939940452576","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1040653$5FDEA872-3C17-49A0-88A0-3EFB48E6AE40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"34457d87b47c88958f2bc388d1dbe4891719d698","datavalue":{"value":{"entity-type":"item","numeric-id":1047100,"id":"Q1047100"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4a817b45fd64ce66d8dec4ff4e2f7232c6e00b2d","datavalue":{"value":{"amount":"+0.813213586807251","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1040653$BA95076D-ACB6-4BCB-836C-44585A69FCD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2ba13fc3083c4e5a1c845b5869d2a887637d3a2e","datavalue":{"value":{"entity-type":"item","numeric-id":694248,"id":"Q694248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"908c5eb157f882c5159669280abefee9bc90586d","datavalue":{"value":{"amount":"+0.7993319034576416","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1040653$1266A322-6514-4145-A433-C6E956605C5E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Definability in substructure orderings. I: Finite semilattices","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Definability_in_substructure_orderings._I:_Finite_semilattices"}}}}}