{"entities":{"Q5937813":{"pageid":8114615,"ns":120,"title":"Item:Q5937813","lastrevid":47641681,"modified":"2026-01-02T07:15:23Z","type":"item","id":"Q5937813","labels":{"en":{"language":"en","value":"Reverse mathematics and fully ordered groups"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1620808"}},"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":"Q5937813$0E07C527-3FAA-4C98-A9E9-FF72A66E3806","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a2a2b9da1ec4b018835faf0fbec9f3a14eaf1f45","datavalue":{"value":{"text":"Reverse mathematics and fully ordered groups","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5937813$82644FB2-8CA1-4E4A-8892-AC00D6E41175","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c6cb357bc436f4abda8663a50678d2472ba7c015","datavalue":{"value":"0973.03076","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5937813$C3511D97-7B19-4FA3-8034-E552571EF454","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"22619fa0bcfede8dabe102ce78dd2250f3353f67","datavalue":{"value":{"entity-type":"item","numeric-id":218974,"id":"Q218974"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5937813$1360A1ED-3ABC-472D-8C7C-4845CDB970F6","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6325d9f59cde8ebbdb24a9f950cab3fcef3decf6","datavalue":{"value":{"entity-type":"item","numeric-id":190248,"id":"Q190248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5937813$1F271634-6E36-4839-BA86-7D0B04E6DED2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"cb916ad91e9e27f9d11a7b9fee5e1117f9d898f2","datavalue":{"value":{"time":"+2001-07-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5937813$162CF688-8BFB-4A4F-BD94-7713D48E2D9E","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"3cfab9d95ead30b607ab14065052bba23ee4b234","datavalue":{"value":"This article is a detailed presentation of some of the author's work in the reverse mathematics of ordered groups, including proofs of many of the results listed in his survey article [Bull. Symb. Log. 5, No. 1, 45-58 (1999; Zbl 0922.03078)]. Theorems pertaining to quotient groups, product groups, and semigroup conditions for orderability are analyzed, and a proof of H\u00f6lder's theorem is carried out in RCA\\(_0\\). Related results can also be found in the author's paper [J. Symb. Log. 66, No. 1, 192-206 (2001; Zbl 0981.03060)].","type":"string"},"datatype":"string"},"type":"statement","id":"Q5937813$C5C97087-81CE-497A-A1DF-B163FD564AE0","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"c2c7a0f70c0b7cc2161585e985e86183cb70d3ef","datavalue":{"value":{"entity-type":"item","numeric-id":335001,"id":"Q335001"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5937813$EC41C58B-6A01-4A6C-BD1D-4F35425F76D9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"4cb4544bfd0397cd4a315ee326499c372f013de5","datavalue":{"value":"03F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5937813$BE32E3CE-ADEC-4549-86A4-8704A641AA17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9e7be0cfcacd32464742957e3e818847a694f77f","datavalue":{"value":"06F15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5937813$F002191E-5787-42C4-91A4-F8C1154DADB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"13841f0b96793f178ce9a7dcac9f232220625aee","datavalue":{"value":"03B30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5937813$1D7B9AE6-255B-446E-892D-51CFC072F477","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bf2fb5b6248ea66ed4beb91bfd252227d627be04","datavalue":{"value":"1620808","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5937813$E7627416-2368-4D55-B1E8-8B9EB5D61D65","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e325a72f0e26ab98b1e996e2e86ac8d7891b9a92","datavalue":{"value":"reverse mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5937813$91CC0DF4-3297-4503-8C28-CB39D5E35219","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9755485d1ba59582d2aaf2cca83bc2c807c4d55a","datavalue":{"value":"ordered groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q5937813$C338D7DF-668D-45FF-BF77-0BA0D0B3EE6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f401dd9c1f566772595ae85ebc3ea4d1157a2c3d","datavalue":{"value":"computability theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q5937813$6A159BAA-EF83-47BA-B7DA-D4015BBF6450","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":"Q5937813$F22B83BF-BDD7-4454-BAC2-BB508B239B6C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3980616049f587f07766deff8f0fec194d64ecb4","datavalue":{"value":"https://doi.org/10.1305/ndjfl/1039293061","type":"string"},"datatype":"url"},"type":"statement","id":"Q5937813$AB64B862-F683-4076-A79A-7CBB3E96DE94","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a60077d0ba7eed26707207bcde87b9ec1ec7193b","datavalue":{"value":"W4235027195","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5937813$EBB89E6E-B0F9-4069-83B9-D644A4C0E870","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"018e3189dc89245ea506eff13e1443e8c313e5da","datavalue":{"value":{"entity-type":"item","numeric-id":1178862,"id":"Q1178862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5937813$B2DF51C2-2051-4FAA-B227-410A03D4AD81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ab7723f277774b61f2e966a5a227a82b96b3d1c7","datavalue":{"value":{"entity-type":"item","numeric-id":5628179,"id":"Q5628179"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5937813$DE4DB051-CA25-4267-BD79-55C56E4A9389","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5c8c290286f280c6f704a0cbb03b04a791108e1c","datavalue":{"value":{"entity-type":"item","numeric-id":1093630,"id":"Q1093630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5937813$E4493634-F169-4FE4-BDC1-CFD919F96EE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"29c45866e6366266fc85213b2eb8d896f6640763","datavalue":{"value":{"entity-type":"item","numeric-id":1063593,"id":"Q1063593"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5937813$AE5CC0E5-9AD6-4C23-BE15-0FF932C10326","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e52ec1246583a1247eed7626f2fc77e9d728b423","datavalue":{"value":{"entity-type":"item","numeric-id":3282031,"id":"Q3282031"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5937813$D4A715C9-7AA4-47AB-9051-CDA26B8A7565","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"62b48c532a247c27214086098cf9ed71ec25a644","datavalue":{"value":{"entity-type":"item","numeric-id":5509706,"id":"Q5509706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5937813$6EA8D1F8-3913-4B66-9DBD-179601F87624","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d6a26edc5e948720ec21cfd4432a0fa5dd3842f","datavalue":{"value":{"entity-type":"item","numeric-id":3481699,"id":"Q3481699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5937813$421AD5A2-9233-4083-B168-52CA88828D81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"86108cb677c98bb6850d4621a5c75e6c35903675","datavalue":{"value":{"entity-type":"item","numeric-id":5677474,"id":"Q5677474"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5937813$9FEE181E-AEB9-432C-AE0D-5FF99FDBF976","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"44855566e578897564f250c1c26a3c27bfe9360a","datavalue":{"value":{"entity-type":"item","numeric-id":2538240,"id":"Q2538240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5937813$0CB8EE79-3844-4186-81C5-9623EDD42FBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c874dec4f5be6c0366ea6caa54f004eebe4c200","datavalue":{"value":{"entity-type":"item","numeric-id":5972164,"id":"Q5972164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5937813$38902FD5-CDF2-4D35-931E-733847E42A31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5407a047015910c18dcb338f5307ed8e1b844cf6","datavalue":{"value":{"entity-type":"item","numeric-id":5830665,"id":"Q5830665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5937813$1C9EBDB2-E107-4D60-A69D-D46B503B88BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bbb7007947930426d440c816c50b79cc8d317407","datavalue":{"value":{"entity-type":"item","numeric-id":4133686,"id":"Q4133686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5937813$CC9D869F-BB47-4E25-A105-D10122CEED84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3017b3e2f10d81f17da372e1cc310089c7213f8b","datavalue":{"value":{"entity-type":"item","numeric-id":5812229,"id":"Q5812229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5937813$5EB08FAF-A1BC-4E4F-8270-C60F2BA83AD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ade6af8b14e3e35f4108a39f58b550626f0e8699","datavalue":{"value":{"entity-type":"item","numeric-id":4220572,"id":"Q4220572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5937813$0BA2EAD3-1755-4563-A0C0-3A9653B148AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d676e60bcb875cb3e260106d5ae3ee3384116d7a","datavalue":{"value":{"entity-type":"item","numeric-id":3949039,"id":"Q3949039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5937813$C50256D8-33FE-4F30-ACD4-3BB525E02EA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1edcfc8f162dce621803913f4363a765362e71d8","datavalue":{"value":{"entity-type":"item","numeric-id":3819052,"id":"Q3819052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5937813$958F8EFF-7A51-44EA-A0F4-B62195DC109B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b9224c646ca7d929ceb76c6a34e0789276be63a3","datavalue":{"value":{"entity-type":"item","numeric-id":3289015,"id":"Q3289015"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5937813$D4149C45-D67F-4E8B-B5D7-06A14126F55C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"08c61570abbd62e2435d5c66c3037a0829a1c6c1","datavalue":{"value":"10.1305/NDJFL/1039293061","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5937813$2412FF5A-1D8D-470A-9110-9F3A2BED4C57","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9328f231a748dbf8ff5b15819f12d933dda0bcd6","datavalue":{"value":{"entity-type":"item","numeric-id":4254643,"id":"Q4254643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"78612260b41667070935bc5233f49a836b0628b5","datavalue":{"value":{"amount":"+0.8687278032302856","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":"Q5937813$68155D0C-AA21-4B1D-B724-85D11CDB774A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"25039b6171b2485eba382bcb26f5369f48506ee7","datavalue":{"value":{"entity-type":"item","numeric-id":3699664,"id":"Q3699664"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"78612260b41667070935bc5233f49a836b0628b5","datavalue":{"value":{"amount":"+0.8687278032302856","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":"Q5937813$2F247190-AC8A-4C81-A0B4-634D71E4843D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ddbcdeaf4aaf9aea96b102e7d7cd12a3eb06093e","datavalue":{"value":{"entity-type":"item","numeric-id":5711881,"id":"Q5711881"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0acc245cb4666e1a6ce07966465a495151cef4ba","datavalue":{"value":{"amount":"+0.8342291712760925","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":"Q5937813$005AF9DA-C169-47A9-9284-ABF16A3DD257","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"de06516f73b3c476308af76e15c31ab7d26709f9","datavalue":{"value":{"entity-type":"item","numeric-id":3464625,"id":"Q3464625"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"07df7304dac287c495e7d9d3a251fc73cc5a742f","datavalue":{"value":{"amount":"+0.8100855946540833","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":"Q5937813$68BC4734-3EF6-49A1-8658-57294FD66DD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8c400bc7ee5f112fcbab7bf3db42ee384e8457a8","datavalue":{"value":{"entity-type":"item","numeric-id":2732274,"id":"Q2732274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2f9c569700d42b019b894eeb70a481b00e7153dc","datavalue":{"value":{"amount":"+0.7863490581512451","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":"Q5937813$5A79FE3C-E7E0-4518-AE46-FA8D064D9224","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5937813","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5937813"}}}}}