{"entities":{"Q2732274":{"pageid":2743013,"ns":120,"title":"Item:Q2732274","lastrevid":41943667,"modified":"2025-05-19T08:49:13Z","type":"item","id":"Q2732274","labels":{"en":{"language":"en","value":"\\(\\Pi_1^1\\)-CA\\(_0\\) and order types of countable ordered groups"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1623517"}},"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":"Q2732274$D5BF912A-5D64-4021-917C-6DE0F8B6DF2E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"21dd1cc06b4a0e20380c6e82ba2de37109a4b7e3","datavalue":{"value":"0981.03060","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2732274$462BF47A-C714-4132-A264-5C69F6F0E531","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"35d534499397e499a15d6f929446e5ef73ce0614","datavalue":{"value":"10.2307/2694917","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2732274$C13815B0-357C-46F5-81F1-ACA4640752BF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"bc7793238eb14ba137de9b73e7c0cd32610d70ec","datavalue":{"value":{"time":"+2001-08-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2732274$DFFB8A64-0A15-4858-9ED9-44302D1EE716","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"4cb4544bfd0397cd4a315ee326499c372f013de5","datavalue":{"value":"03F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2732274$DF632CD5-034E-4D86-9799-EEF7B0E7F171","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9e7be0cfcacd32464742957e3e818847a694f77f","datavalue":{"value":"06F15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2732274$45143F2A-EE69-46BF-A108-C7321E41C683","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2698f4d255598be45c0861bf25ed09b780773851","datavalue":{"value":"1623517","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2732274$D70A56D3-1591-46C0-B2BC-CB043C6B5060","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e325a72f0e26ab98b1e996e2e86ac8d7891b9a92","datavalue":{"value":"reverse mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2732274$34BFA1BC-78DC-4234-BB91-8D02EDBA7ACE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1eeba749f6e20983202d62f164b68dc4818645ae","datavalue":{"value":"order types","type":"string"},"datatype":"string"},"type":"statement","id":"Q2732274$1086B175-2F75-45B0-BE58-861EE1A8D1A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9755485d1ba59582d2aaf2cca83bc2c807c4d55a","datavalue":{"value":"ordered groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q2732274$39EF545B-75C6-41B4-8A3C-C23EE702D15E","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":"Q2732274$15986694-AE6F-4585-8E8C-3E7A684E304F","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":"Q2732274$3883F393-3DE3-4F5E-B979-D032E219B644","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"15d4626331594c0d9c67f3eed130b6d06e504c04","datavalue":{"value":"https://doi.org/10.2307/2694917","type":"string"},"datatype":"url"},"type":"statement","id":"Q2732274$3B127996-94E1-4546-BA7D-4A7FFE6198A8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"cb23d88d7320e7c12bead3c15aa34959f05216c0","datavalue":{"value":"W4231591585","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2732274$4EC93F17-1930-4E2F-A153-E5D28FF7A282","rank":"normal"}],"P223":[{"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":"Q2732274$08DA02E9-DD3A-40D4-BDCA-433882533A9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0d9e9195251941a916c414284f781a18c2e6a187","datavalue":{"value":{"entity-type":"item","numeric-id":918549,"id":"Q918549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2732274$EA20A088-6572-440D-9910-EC03307C079C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d9d146316520b016ac1ec5b7ce27b391ab744c78","datavalue":{"value":{"entity-type":"item","numeric-id":4254643,"id":"Q4254643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2732274$33207BC3-2720-44BA-89D1-15C21C539BDA","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":"Q2732274$211FDA02-E91F-4093-8576-A6C5ACAD8B47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e15cdaeab13ae667c1040e840da0f91822a62e83","datavalue":{"value":{"entity-type":"item","numeric-id":4262583,"id":"Q4262583"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2732274$1F932F08-C5C6-47A5-9D6C-648EE0F9A7EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65c8c8ed706a86d97db05d5b778c49fb79be8a30","datavalue":{"value":{"entity-type":"item","numeric-id":1144013,"id":"Q1144013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2732274$041AFE24-E591-4F35-A6B6-DEBF11A0E5F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b4b8d1be935a732156163c12cb5b6c2c77bda0b4","datavalue":{"value":{"entity-type":"item","numeric-id":810503,"id":"Q810503"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2732274$9539307D-33A1-416B-883F-958ABD3FA4D1","rank":"normal"}],"P1643":[{"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":"86c9169cf990359772b051f55e4973f6bcbb0282","datavalue":{"value":{"amount":"+0.8385813","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":"Q2732274$760DFF98-A94E-459F-BD32-D67F624AE1E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9cb31f927016e7e06ef12bf033e414f99050c3eb","datavalue":{"value":{"entity-type":"item","numeric-id":5711887,"id":"Q5711887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5d86f0fb3bae1c0d809d8b4fd2de5116d12d3586","datavalue":{"value":{"amount":"+0.8085168","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":"Q2732274$50B6D49D-EA77-451F-9C87-C7A92ED1CA20","rank":"normal"},{"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":"42dbd1cf589bfac42c72907b7b633f7e487c4d44","datavalue":{"value":{"amount":"+0.797698","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":"Q2732274$4D3D5BDA-F65B-4B4F-9DD2-4D22599CFF39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7ce372f1010d15baf46e2457727e2f40a7802468","datavalue":{"value":{"entity-type":"item","numeric-id":4224079,"id":"Q4224079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"87d21571711d6898235010d550e5c9821f3175c4","datavalue":{"value":{"amount":"+0.7964166","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":"Q2732274$9634A9BA-189F-490E-B8F5-BF720C8C7A1C","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":"373ddebabfa309b2bbed521e5420a11cc04d1db9","datavalue":{"value":{"amount":"+0.7705191","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":"Q2732274$58C95B6F-6470-4F9E-A822-F28240D44AA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"37bc3bfcd11f8a21f0e9b45e52857c41b55de2ef","datavalue":{"value":{"entity-type":"item","numeric-id":5713163,"id":"Q5713163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f292002baed66b557e73c1234fd0109257e06790","datavalue":{"value":{"amount":"+0.76690316","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":"Q2732274$2954E71E-6A89-489B-805A-435284070234","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":"5156e559171267a2c7f515c3ce90b27ccdb73c5a","datavalue":{"value":{"amount":"+0.76336026","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":"Q2732274$94F7748B-F685-42F3-A410-86179741BA73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5a17d3f95ae37d099d47a4d1adf701732ccc548e","datavalue":{"value":{"entity-type":"item","numeric-id":5711888,"id":"Q5711888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0382d5065e23c940559516bc858a74911ac44817","datavalue":{"value":{"amount":"+0.7623593","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":"Q2732274$08180962-AB27-4F5C-B453-22FC7889EAF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7688f5ce9ecb1e75b04cff0a3739e273b407222b","datavalue":{"value":{"entity-type":"item","numeric-id":5437595,"id":"Q5437595"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"75580cf6fe19826180c8e541f760a4fbfbc07277","datavalue":{"value":{"amount":"+0.7542708","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":"Q2732274$FBD233B4-BA73-4995-A514-BFF2DE32B2F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aaf4ace23f250e091719cf1dd13904efdce476cd","datavalue":{"value":{"entity-type":"item","numeric-id":5937813,"id":"Q5937813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"393cf4cf6102c7c4ba4816519b4632a8c1013320","datavalue":{"value":{"amount":"+0.7498206","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":"Q2732274$515B8B57-A4CF-467C-966F-EE4140242BEE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6834351378802ec1853f765f256e54a577a6dc08","datavalue":{"value":{"text":"\\(\\Pi_1^1\\)-CA\\(_0\\) and order types of countable ordered groups","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2732274$DEE95468-2952-49C7-BD6E-DBC13872EA6C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"cd9ebe56ec423ec5335930a0b1a45ca7ae3b5c0f","datavalue":{"value":{"entity-type":"item","numeric-id":6768298,"id":"Q6768298"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2732274$0F86F9BE-BFB5-42AA-93CF-8D63B852FF63","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"982d42437b60b0367c23ab5f495527a205ac1a65","datavalue":{"value":"The author deals with the classification problem of all admissible order types for orderable groups from the point of view of the Friedman-Simpson program of reverse mathematics [cf. \\textit{S. G. Simpson}, ``Reverse mathematics'', Proc. Symp. Pure Math. 42, 461-471 (1985; Zbl 0578.03005), Subsystems of second order arithmetic, Springer, Berlin-Heidelberg (1999; Zbl 0909.03048)]. It is well known that in the abelian case a basic tool is the classical theorem of H\u00f6lder (stating that every archimedean ordered group is isomorphic to a subgroup of the additive ordered group of the reals), which can be proven in the weakest system of reverse mathematics, namely recursive analysis \\(\\text{RCA}_0\\) [cf. \\textit{R. Solomon}, ``Ordered groups: a case study in reverse mathematics'', Bull. Symb. Log. 5, No.~1, 45-58 (1999; Zbl 0922.03078)]. In the case of countable ordered groups, the fundamental classification theorem is due to Mal'tsev: if \\(G\\) is a countable ordered group, then the order type of \\(G\\) has the form \\(Z^\\alpha Q^\\varepsilon\\), for some wellorder \\(\\alpha\\) and \\(\\varepsilon \\in \\{0,1\\}\\) (where \\(Z\\) is the additive group of the integers and \\(Q\\) the field of the rationals). The main content of this paper is the proof that Mal'tsev 's theorem is indeed much stronger, and in fact equivalent with the strongest subsystem investigated so far in reverse mathematics, namely \\(\\Pi ^1_1\\text{-CA}_0\\). Therefore, Mal'tsev's theorem is not predicatively reducible (e.g. provable in the system based on arithmetical transfinite recursion \\(\\text{ATR}_0\\)). We recall that \\(\\Pi ^1_1\\text{-CA}_0\\) is based on the schema postulating the existence of a set of natural numbers in correspondence to arbitrary formulas of the form \\(\\forall X A(X,u)\\), \\(A\\) being first order (no set quantifier). The result should be especially appreciated, since, as the reader can check from Simpson's book, the number of known equivalences of mathematical results with the subsystem \\(\\Pi ^1_1\\text{-CA}_0\\) is rather meager in comparison with systems like \\(\\text{ATR}_0\\) or \\(\\text{WKL}_0\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q2732274$3FD94CD3-F1CB-4D44-AD19-0F970D8A1D3C","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"5634ed46a52c7680a2cf61c8cfb118a9c5e1d936","datavalue":{"value":{"entity-type":"item","numeric-id":588330,"id":"Q588330"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2732274$7DAED9F3-2965-4627-AE6B-2E7F72DA06F5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2732274","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2732274"}}}}}