{"entities":{"Q920125":{"pageid":921973,"ns":120,"title":"Item:Q920125","lastrevid":65388762,"modified":"2026-04-12T02:14:45Z","type":"item","id":"Q920125","labels":{"en":{"language":"en","value":"When is a total ordering of a semigroup a well-ordering?"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4162952"}},"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":"Q920125$651C79EB-D2FC-4CBE-B24C-75A4A7BEA80E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ae8028bccf2668e60f0aaf47cc2b0c6f03890265","datavalue":{"value":{"text":"When is a total ordering of a semigroup a well-ordering?","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q920125$12ABFDB2-3E13-4D12-9DF0-AAB162055FE2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f858540859e359ae1e57333e0cf6264a7a332e81","datavalue":{"value":"0708.06010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q920125$4677A737-C211-4FBC-B89F-6DDF748C3A8D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5bfa19c0362486b5247451450b88e82fbfe62f4c","datavalue":{"value":"10.1007/BF02573383","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q920125$5820C681-37F5-4D57-9CDC-C7ABD20035C0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8b9220ad8f912f81a5b3edd17d4a08c3ab31f877","datavalue":{"value":{"entity-type":"item","numeric-id":175496,"id":"Q175496"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q920125$DC135D57-1BFC-43C4-88B2-FB66DC2C909A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"28dbf90a09492d81530507fd711b9336815e58a3","datavalue":{"value":{"entity-type":"item","numeric-id":172569,"id":"Q172569"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q920125$E78F043B-931F-413A-B480-386ECDAD54D4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"70d2fbf8bcd48a5ca1ac752985098b379d0dbb65","datavalue":{"value":{"time":"+1990-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q920125$BE6A9D95-1DAC-4289-92FF-1026F15846A7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"44188978ed9fb757595aca66105827d020ab2daf","datavalue":{"value":"https://eudml.org/doc/135041","type":"string"},"datatype":"url"},"type":"statement","id":"Q920125$36C9348D-2F9D-4204-B4E5-5593DD9FFB6F","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"44631ef4957ed10dd3fe742595254002b354c80b","datavalue":{"value":"An ordered semigroup (S,\\(\\leq)\\) is a semigroup S with an order \\(\\leq\\) satisfying: for any s, t, and x in S, \\(s\\leq t\\) implies sx\\(\\leq tx\\) and xs\\(\\leq xt\\). The order \\(\\leq\\) is said to be positive if for all a and x in S, \\(a\\leq ax\\) and \\(a\\leq xa\\). This note proves the following theorem: A positive total order \\(\\leq\\) on a semigroup S is a well-order if and only if S has a well-ordered generating set.","type":"string"},"datatype":"string"},"type":"statement","id":"Q920125$2A2CD993-6089-45C6-8715-16434B370D89","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c37a2ebd177ad7250da57d7e7c99a314ea8d697c","datavalue":{"value":"06F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q920125$139D666A-F47C-4BD3-949A-AB4D5FA5FEE7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d02241995b520c8d8feac83e951de86b2ff2c60e","datavalue":{"value":"4162952","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q920125$CA7CA3E9-07D8-43EC-9C33-4CC3EC342E4F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9ea35844f8c2a1b8fedc877bd9a4c03d2cfd01f8","datavalue":{"value":"ordered semigroup","type":"string"},"datatype":"string"},"type":"statement","id":"Q920125$1DD4DB6A-A56A-4CB0-8CEA-0A0C43276764","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"20eec9edcab5ffffb0534525ff6315c73fba8e62","datavalue":{"value":"positive total order","type":"string"},"datatype":"string"},"type":"statement","id":"Q920125$B2CF0B3C-72EB-467E-BC4F-DE6EF05624F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2d04375cac950f415c59fd738635b881675bbdba","datavalue":{"value":"well-order","type":"string"},"datatype":"string"},"type":"statement","id":"Q920125$3421118C-838D-4EB5-B9A3-65AAC324DB6E","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"a5d36c57b7a972b09b3a0a61c081a4cfe59255b6","datavalue":{"value":{"entity-type":"item","numeric-id":1223494,"id":"Q1223494"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q920125$99AA00B0-0C8C-4173-8BAE-00363106556C","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":"Q920125$36F2AD3C-6A1C-4B88-8840-C59F55829950","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7bcc0043bd817db94afc2dc7496aedbf3a40ba18","datavalue":{"value":"W2023677876","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q920125$197EB991-3234-420A-9E3D-9DCD827F0A08","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2ba5d608de2f2f2c249ed930dbff9754f17ba739","datavalue":{"value":{"entity-type":"item","numeric-id":908950,"id":"Q908950"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3e7b2ce86111ef9f712189cc5f7e7ba36796c114","datavalue":{"value":{"amount":"+0.801421046257019","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":"Q920125$3BA0917E-73B2-4E2B-B7E2-3B92BC365C8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"123b7ded53506b212b96bb1db5659c8ee968a0a9","datavalue":{"value":{"entity-type":"item","numeric-id":3475309,"id":"Q3475309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3cd2199e3eede5fafa874071c490f8af06f53d5f","datavalue":{"value":{"amount":"+0.7851290702819824","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":"Q920125$011F9DE4-99CF-4CA8-88E8-3F4FDEA1BF56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a1c1b8a866034124304cdabf5f45fdcf5738d2c4","datavalue":{"value":{"entity-type":"item","numeric-id":3715164,"id":"Q3715164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6db6c1b6ca2b14eb8cf75a3dd29c18b91d7f1332","datavalue":{"value":{"amount":"+0.7819731831550598","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":"Q920125$5720077C-427D-473C-B556-D80902F509DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"736f89b4e56df8337fd9b313779c263b2b71e413","datavalue":{"value":{"entity-type":"item","numeric-id":1188324,"id":"Q1188324"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2084dc9fe6b5f6099484c2f76e5a2cf6e1b9a27d","datavalue":{"value":{"amount":"+0.7682874202728271","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":"Q920125$7B303EDD-E255-4533-BECD-45FB6B94264B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"17fcfb1c6158dca9e18c2589ffdff22b2aa3b38e","datavalue":{"value":{"entity-type":"item","numeric-id":3975902,"id":"Q3975902"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c56802d6de5e716e7100e6915f61438ebfabf4f6","datavalue":{"value":{"amount":"+0.7643285989761353","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":"Q920125$32EE6800-8614-48B9-BCC0-4047857440B4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"When is a total ordering of a semigroup a well-ordering?","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/When_is_a_total_ordering_of_a_semigroup_a_well-ordering%3F"}}}}}