{"entities":{"Q981680":{"pageid":983528,"ns":120,"title":"Item:Q981680","lastrevid":65874801,"modified":"2026-04-12T05:57:57Z","type":"item","id":"Q981680","labels":{"en":{"language":"en","value":"Definability in substructure orderings. II: Finite ordered sets"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5729753"}},"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":"Q981680$4768867B-CA0A-4F20-8DEE-B3708BCB8D6C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4eb84ada53e3aaa9df8584bcae5d39ac519f84ae","datavalue":{"value":{"text":"Definability in substructure orderings. II: Finite ordered sets","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q981680$57F3E947-339D-4109-8742-5B2F7F05F78F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5cd7142a301e5c57ba60eb6e8e5b560781e2e572","datavalue":{"value":"1209.08003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q981680$022E3922-B397-40E2-9171-BEF2FE6957DA","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":"Q981680$834AF9FD-396A-4FF5-9879-A44DE921DB62","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":"Q981680$7A1A0AC0-FAF3-4367-B050-F2AACD06C3BA","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e2599ed8061d57585b4363072a1afceea2452436","datavalue":{"value":{"entity-type":"item","numeric-id":172073,"id":"Q172073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q981680$12A54FA8-AAC1-4495-A835-4FE9CBBFC861","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9edd764be965e6e5db4e2e9aed93bbf3833eaad9","datavalue":{"value":{"time":"+2010-07-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q981680$98FCE7F0-1794-430F-96FC-BDC593943758","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"550d2645020ff0d38f73500cfee6459eb0027afd","datavalue":{"value":"In this paper the authors study first-order definability in the ordered set \\( \\mathcal{P}\\) of isomorphism types of finite ordered sets (posets), where the ordering is by embeddability. They prove, among other things, that for every finite poset \\(P\\), the set \\(\\{p,p^{\\partial }\\}\\) is definable, where \\(p\\) and \\( p^{\\partial }\\) are the isomorphism types of \\(P\\) and its dual poset. Also, they prove that the only non-identity automorphism of \\(\\mathcal{P}\\) is the duality map. Then they apply these results to investigate definability in the closely related lattice of universal classes of posets. Also, they prove that this lattice has only one non-identity automorphisms, the duality map; that the set of finitely generated universal classes as well as the set of finitely axiomatizable universal classes are definable subsets of the lattice; and that, for each member \\(K\\) of either of these two definable subsets, a definable subset \\(\\{K,K^{\\partial }\\}\\) is a definable subset of the lattice.  For Part I see Algebra Univers. 61, No.~1, 59--75 (2009; Zbl 1181.08004).","type":"string"},"datatype":"string"},"type":"statement","id":"Q981680$8370ABED-D7B3-4EA6-8099-403018ADA264","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a65487c7726591096aeacf67e5838b6764f4f370","datavalue":{"value":"08B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q981680$D1E67E2A-9C4D-4C52-AE80-83AE5BE4FB6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed4ac44229a63771ae4ded31038fe93f434bffb7","datavalue":{"value":"03C05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q981680$1D670F93-D7D8-4FCE-B3D3-72A418FE3F40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c1d2d83da0d870574277144fdd1db9abaae162ec","datavalue":{"value":"03C40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q981680$86C7AE9D-03DE-4CC5-B073-098F42DF8F77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e037813de56311048f7e0a208650360505bf4d4e","datavalue":{"value":"06A06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q981680$2797D95B-7AD4-487F-B1E4-47CE214E9183","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a96934c1e5b76f8e8bf0cd986786e31632fc15bd","datavalue":{"value":"5729753","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q981680$01CFC811-DFF2-4CAB-8A0F-40CA1906FACE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b2a51da2905bdba578a7e4ae07513608630cb896","datavalue":{"value":"category","type":"string"},"datatype":"string"},"type":"statement","id":"Q981680$61C4F27F-08F8-448F-992A-43FD0920FDBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f736d02e86573c887541b685d4ac9ad40d12259b","datavalue":{"value":"first-order definability","type":"string"},"datatype":"string"},"type":"statement","id":"Q981680$1F34E6FF-2798-42B6-A7A0-7BDB467899E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"063582aafec4d21fa23d0efc3d538849faaf513c","datavalue":{"value":"isomorphism types of finite ordered sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q981680$A6365DDD-F38A-4D4A-95F7-E0A7A3B687C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9f26788ad86bcb26cdcb329f394e9e708e9941e3","datavalue":{"value":"dual poset","type":"string"},"datatype":"string"},"type":"statement","id":"Q981680$F34F7A94-2D53-4775-A27C-480858027F54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8e09a6b9dce3fce18a8dd658dee3c52a8af73674","datavalue":{"value":"lattice of universal classes of posets","type":"string"},"datatype":"string"},"type":"statement","id":"Q981680$DD4FE716-711E-4B2C-B145-9F80BB5C9BB6","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":"Q981680$944AE0DE-AC47-4ADA-8692-A27B1FA81EAD","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":"Q981680$1A51BDA0-F420-4E49-89D5-44599CDDC091","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5e38bea8b2eccba601db9c0a69d2100030b57481","datavalue":{"value":"https://doi.org/10.1007/s11083-010-9141-9","type":"string"},"datatype":"url"},"type":"statement","id":"Q981680$7AEB003C-AB42-4C82-9CF6-5CF5F2D9A271","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"dd738c4b91989e09a66fcb4bdf9d6cf27fef6fd5","datavalue":{"value":"W1992111324","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q981680$0A60E1A6-7477-49B8-884B-E911648E5C9B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b35cae0cf60656ac4a857f0dc1cee1377ea52355","datavalue":{"value":{"entity-type":"item","numeric-id":1047090,"id":"Q1047090"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q981680$2621F096-33F0-4DDD-8B16-EA84B34E7017","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65a3d902c15e7f681ab1169dabe67e45fdfefae2","datavalue":{"value":{"entity-type":"item","numeric-id":1047091,"id":"Q1047091"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q981680$A54857EE-D9BD-4219-A1E9-7DED563C9656","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"20bc55bbebf244b783725be10b3f699ef115994c","datavalue":{"value":{"entity-type":"item","numeric-id":1040653,"id":"Q1040653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q981680$03735195-ECF2-41D6-8391-2DD8122F3B09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"44b4470fc8105e86b290a6ea65c08490efcf18ff","datavalue":{"value":{"entity-type":"item","numeric-id":1047103,"id":"Q1047103"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q981680$13B28312-2ADE-4FFC-AD76-B1940FB18927","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f65cd3393fc321077edfc425739afc18c1ec486d","datavalue":{"value":{"entity-type":"item","numeric-id":1047100,"id":"Q1047100"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q981680$91660BCC-1D71-488C-A91C-77120674A804","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e547e4c27b17b234a95d60b8e494ebd7d92da0fc","datavalue":{"value":{"entity-type":"item","numeric-id":1772277,"id":"Q1772277"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q981680$4C3908FE-C8CD-4E3C-8FB0-862D79E7E06E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"14aa619c0a6bf974f6ad76384981ed4729895e16","datavalue":{"value":"10.1007/S11083-010-9141-9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q981680$244EF95A-98AF-4661-B46E-D0A5972AA024","rank":"normal"}],"P1643":[{"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":"e95511810e8eeb70832badd15a8d76e8b359ad41","datavalue":{"value":{"amount":"+0.84693885","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":"Q981680$8162AD63-3061-4888-A7E4-01CBCF20B5F4","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":"0bce01c516cc546364db4329648b4513ac424de0","datavalue":{"value":{"amount":"+0.8382422","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":"Q981680$68C49E2A-1766-488B-BD5E-7C39FE44A6F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d5f8894b611234ed8ca0d9116f42b9fed5d5c7d0","datavalue":{"value":{"entity-type":"item","numeric-id":1040653,"id":"Q1040653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fb07e97d0c0c896be60dbe6c0dfd40e40ea87a15","datavalue":{"value":{"amount":"+0.7935306","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":"Q981680$63A37F6B-348A-4842-ACF1-DE46B8C87CB1","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":"e459f30cac518f714f69cc859bebe09ac58d5e6e","datavalue":{"value":{"amount":"+0.72466904","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":"Q981680$2B303529-773E-41E3-96DD-79245292F3B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e0f78f9e3b3fc9de80ae3093bd9c9f36a0d4c9e7","datavalue":{"value":{"entity-type":"item","numeric-id":4937967,"id":"Q4937967"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"af88bed0e8ec9c110cc3658b7d6831a6b7da8f17","datavalue":{"value":{"amount":"+0.6969864","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":"Q981680$8C5FBDC3-41BE-43B0-B720-902DE60036BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5e7e6dd2ac8a2f319f7c946748ea4e669627ed02","datavalue":{"value":{"entity-type":"item","numeric-id":3344183,"id":"Q3344183"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f2cf1d537e3fc2416228081845a9fb59731916f1","datavalue":{"value":{"amount":"+0.68952787","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":"Q981680$7E5ECF45-61C5-4198-80D6-AD549EE798E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a90e393e2e961a2c12d906e75047e15a7791c4e0","datavalue":{"value":{"entity-type":"item","numeric-id":5437057,"id":"Q5437057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5ad30252768661d90efb301446776d2c3d85aa92","datavalue":{"value":{"amount":"+0.6860329","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":"Q981680$9D3B7766-12EC-490D-A979-7F94475A937D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cccc1b5deec2138460d486094947595426c6a563","datavalue":{"value":{"entity-type":"item","numeric-id":2472843,"id":"Q2472843"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1adaaaadad5277f15cc1da396b1a58c26a3fe652","datavalue":{"value":{"amount":"+0.67987007","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":"Q981680$EB376307-0F59-479A-8494-6C3A062BA245","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bb45f7bf724e4ef85fb036efb5f5ea38ba63b746","datavalue":{"value":{"entity-type":"item","numeric-id":2449456,"id":"Q2449456"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f11b86ad895a848ba3088c89b306bb8f3a22b6e2","datavalue":{"value":{"amount":"+0.6636244","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":"Q981680$2511742D-E65C-41EC-BF8C-AD973F3791A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7901297dafab3b8e397d0be82ccbb3ca15c81837","datavalue":{"value":{"entity-type":"item","numeric-id":3367811,"id":"Q3367811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"97cafff66a0f71ac744016ef0b8bb13fdc04a19f","datavalue":{"value":{"amount":"+0.6570731","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":"Q981680$530DA63E-875A-4056-B834-50ABA8361222","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Definability in substructure orderings. II: Finite ordered sets","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Definability_in_substructure_orderings._II:_Finite_ordered_sets"}}}}}