{"entities":{"Q1180702":{"pageid":1191451,"ns":120,"title":"Item:Q1180702","lastrevid":66777747,"modified":"2026-04-12T12:47:27Z","type":"item","id":"Q1180702","labels":{"en":{"language":"en","value":"The lex property of varieties of lattice ordered groups"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 26454"}},"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":"Q1180702$7C1C3755-662D-42E1-A512-2639CF724B10","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ef964c5ddf21c1656e457abdc22a980bbb5ca4ff","datavalue":{"value":{"text":"The lex property of varieties of lattice ordered groups","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1180702$6E5A5540-AB32-4A42-94BA-45E3D643D40E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"eb2218f0737873bda276190b0b671d5b9990f195","datavalue":{"value":"0751.06010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1180702$9340B5AF-E0A2-4B56-AD6F-EF1E7C4CAB21","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5947c0686eb59b639fd51bacba2b4e3bf73987d4","datavalue":{"value":"10.1007/BF01195862","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1180702$FE6D7F16-DDF8-4B20-AEF1-1329002BE3FD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"01ee0a0f117bf131fffe30f86ff6796a6ab93e3f","datavalue":{"value":{"entity-type":"item","numeric-id":1180701,"id":"Q1180701"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1180702$DBEB7FE8-94D6-4F97-9E45-C608415AB050","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":"Q1180702$FD2949F5-5289-455B-9D75-0A8799962836","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"70844ffc4666eabac4e20376c648613dbe8620f7","datavalue":{"value":{"time":"+1992-06-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1180702$7F22E3BC-DD87-4D6D-9251-CFDF1D8439E7","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"1ce88e35d0ee9c7a1cc7d71d1f79275f6e22f8aa","datavalue":{"value":"Let \\(Z\\) be the additive group of all integers with the usual linear order and let \\(G\\) be a lattice-ordered group. The symbol \\(G\\overleftarrow{\\times}Z\\) denotes the lexicographic product of \\(G\\) and \\(Z\\). For each variety \\(V\\) of lattice-ordered groups put \\(V^ L=\\text{Var}(\\{G\\overleftarrow{\\times}Z:\\;G\\in V\\})\\). Let us denote by \\(A_ 1\\) and \\(A_ 2\\) the class of all \\(V\\) such that \\(V^ L=V\\), or \\(V^ L\\neq V\\), respectively. \\textit{J. E. Smith} [Trans. Am. Math. Soc. 257, 347- 357 (1980; Zbl 0459.06007)] proved that the representable variety, the normal valued variety and the weakly abelian variety belong to \\(A_ 1\\). The present author proves that (a) all quasi-representable varieties and all Scrimger varieties belong to \\(A_ 1\\); (b) the nilpotent Medvedev variety, the solvable Medvedev varieties and the Feil varieties \\(U_ r\\), \\(W_ r\\) (\\(0<r\\leq 1\\)) belong to \\(A_ 2\\). Hence, both \\(A_ 1\\) and \\(A_ 2\\) have the cardinality of the continuum.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1180702$EE2DD0A2-430D-4A0C-A3E7-A17E85B07AB3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9e7be0cfcacd32464742957e3e818847a694f77f","datavalue":{"value":"06F15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1180702$5165A630-A666-4CC5-AF7B-A7198D6E6345","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"49af82f4ade3a98e23da5d649cb52c1c6f164fdd","datavalue":{"value":"20E10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1180702$2A73B40C-74C8-4304-A056-0A2F087FDCC9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"63f7471f2f10585624a4e03720d7e46efba2ba42","datavalue":{"value":"26454","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1180702$F448BA0B-F041-49B0-8141-4008122A673F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"98379766bd5d0a8b742f85f0a935594bb236c674","datavalue":{"value":"lattice-ordered group","type":"string"},"datatype":"string"},"type":"statement","id":"Q1180702$CAF452CB-98FC-41BF-BC5E-2AC1CF5AAC15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"200b0f187ad1b101c5ee111f093a447fdd14368b","datavalue":{"value":"lexicographic product","type":"string"},"datatype":"string"},"type":"statement","id":"Q1180702$9685296D-BECF-4DE4-A300-F86251A5356D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c1052d5ad8d46db73a65608fc3f73bacbcd6d53a","datavalue":{"value":"varieties","type":"string"},"datatype":"string"},"type":"statement","id":"Q1180702$2A1CE859-3D8A-4AEB-AFAA-A1E003D3409C","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"dcde4f0368948d36855bf140c4856cb98bf56894","datavalue":{"value":{"entity-type":"item","numeric-id":593213,"id":"Q593213"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1180702$7F250B65-C23C-4CCE-AC49-5146CF873383","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":"Q1180702$364B15D1-79DC-4ED6-9EB7-034E3097AB83","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ad32a2cc3d9506a9e42a46e383d758314a5ad02","datavalue":{"value":{"entity-type":"item","numeric-id":1141668,"id":"Q1141668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1180702$8E209EE7-A084-4884-B37F-BE3293F245A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8400a42cfe5d358d32fa0b859522d2b349b62356","datavalue":{"value":{"entity-type":"item","numeric-id":1142235,"id":"Q1142235"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1180702$87522656-8967-4744-AE2D-D893D44DE14D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b83bbf249f0d3f8a67755aed5720b42a73b5de6d","datavalue":{"value":{"entity-type":"item","numeric-id":4106253,"id":"Q4106253"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1180702$14EE25A0-5BCD-458E-86A6-076E63D92E3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"388abfa2b7016304b0eafce539c550e3f0fd4ca3","datavalue":{"value":{"entity-type":"item","numeric-id":4071287,"id":"Q4071287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1180702$C4C4DED2-DE0E-40E2-8565-72D8A61EAD9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d8d55002f84b9bd300d69d1b1583a75204d55e20","datavalue":{"value":{"entity-type":"item","numeric-id":3909093,"id":"Q3909093"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1180702$19788DFD-175F-4700-949F-155617D90FAF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"850997090e7aa16caf33504ebd27e6c0624e369c","datavalue":{"value":{"entity-type":"item","numeric-id":3760588,"id":"Q3760588"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6b6d93510f886de2d6c6df35255b1fadd178c623","datavalue":{"value":{"amount":"+0.9296695","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1180702$96D1F3AF-F866-428F-AFF3-61AC2E4BFC8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bcc825e6d8078922f825895bd960037935580d42","datavalue":{"value":{"entity-type":"item","numeric-id":1822617,"id":"Q1822617"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0ab0ea7b289cd19a5a61feb050ccb362ce83b677","datavalue":{"value":{"amount":"+0.92491424","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1180702$9F66BDAB-D69E-4459-99D1-0EF8DA3E9404","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"15b1efcdbf1f1de6fdaec67375dde64bf51e604e","datavalue":{"value":{"entity-type":"item","numeric-id":3731644,"id":"Q3731644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cffcd2bd1fd9f64b83a0be20c4812348b5d61bf2","datavalue":{"value":{"amount":"+0.92220384","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1180702$8B8F7B84-FFBD-46EC-A9E4-9AD7CAADC0E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"54c275ba67c55707a982e63fdec05e6e7349c7e9","datavalue":{"value":{"entity-type":"item","numeric-id":2810994,"id":"Q2810994"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2bb6c00787a40df4df10e52de372422913d3c8a4","datavalue":{"value":{"amount":"+0.92086923","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1180702$7317749B-61A4-4B1F-A259-E9DD30DD4CEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"15143ec0e86a805cacf8430ea6cf903819a2dd2d","datavalue":{"value":{"entity-type":"item","numeric-id":4018206,"id":"Q4018206"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a709e72869af382a3ca56839e8b213553e6639ab","datavalue":{"value":{"amount":"+0.90746","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1180702$59F6E45D-E1C2-4ED2-8AD6-BA6F2B2FCD56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"356bf9be712bb5bff1c0b151686c0d486e46b12e","datavalue":{"value":{"entity-type":"item","numeric-id":4227566,"id":"Q4227566"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0452eeee97734134e42e3c4e77838633b26ea46c","datavalue":{"value":{"amount":"+0.9044955","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1180702$C81E8CD3-6836-474A-B72E-AB4B4C09AB3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2e6af25f0050cec1798db42ff235ddf93bd1c91d","datavalue":{"value":{"entity-type":"item","numeric-id":1749202,"id":"Q1749202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ccd16056deaeade4bec2fccf073e3139a4f6d1ff","datavalue":{"value":{"amount":"+0.9026006","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1180702$0F3EEE9E-EB85-42D7-904F-DE87E48B9012","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2aac167a57121e824ffad51fe16a8893b9672c6a","datavalue":{"value":{"entity-type":"item","numeric-id":3269975,"id":"Q3269975"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f9be23beee05f8e5cececbcfe7c70034c7bd125a","datavalue":{"value":{"amount":"+0.9014176","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1180702$C2116E1D-A6C5-47BC-B87A-7CE51C312C1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e8b7c4bc8cc05e90168d77d0cf36002040239f9d","datavalue":{"value":{"entity-type":"item","numeric-id":4841570,"id":"Q4841570"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"db0ffa01520f1ddd6f2a7d173c0d93f6faa712c2","datavalue":{"value":{"amount":"+0.89946806","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1180702$8FFD91B9-6B73-426F-AD20-C710CB1F2593","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c93a523db83fc7831f6167d054963ff738ff765f","datavalue":{"value":{"entity-type":"item","numeric-id":4317872,"id":"Q4317872"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"82647a2c7bcc4740fd87c4d9d26c09426a56edc8","datavalue":{"value":{"amount":"+0.8987062","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1180702$2E5EFA32-1B7B-4B54-AB3E-34E908987A18","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The lex property of varieties of lattice ordered groups","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_lex_property_of_varieties_of_lattice_ordered_groups"}}}}}