{"entities":{"Q2456206":{"pageid":2466949,"ns":120,"title":"Item:Q2456206","lastrevid":50186900,"modified":"2026-01-13T11:00:08Z","type":"item","id":"Q2456206","labels":{"en":{"language":"en","value":"Subspaces of computable vector spaces"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5201707"}},"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":"Q2456206$C86918DC-7681-4666-8E82-2591C34333B4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7c8556a109513056e50d7d242cabf76cc638d091","datavalue":{"value":{"text":"Subspaces of computable vector spaces","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2456206$BB13E20D-115F-444E-A813-ADDC0F625056","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"137ab1f64fa992be36d3700de43976e12f82ffa8","datavalue":{"value":"1127.03036","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2456206$C2F0F82E-E3EE-426E-9DD4-4C6CF2374F4B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"de07eca08fd275b43aedd5c0b45bb2e3e71c52be","datavalue":{"value":{"entity-type":"item","numeric-id":456803,"id":"Q456803"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2456206$EDA19BE6-033C-47A7-8EF4-F1CC5034FA40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1c055f536f99deee52869e6ffc924c94cdf7bde8","datavalue":{"value":{"entity-type":"item","numeric-id":385077,"id":"Q385077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2456206$3CCDAF93-5D50-4B35-9C57-656A42A88B51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e46a0b2f77af8f2df77d28314d19ad410add2b91","datavalue":{"value":{"entity-type":"item","numeric-id":218972,"id":"Q218972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2456206$6592AD23-E6DC-4D51-B728-1D84EFCAB8AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1d833acb82b0adb02c65ecfdf4691f4e75151bcf","datavalue":{"value":{"entity-type":"item","numeric-id":1750292,"id":"Q1750292"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2456206$3952437C-5F6D-4E72-AE7F-7810405A058D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"79ce5ab41f7629f8f674c94fed05f6d1f4b53855","datavalue":{"value":{"entity-type":"item","numeric-id":453199,"id":"Q453199"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2456206$5B962C01-52B9-43BE-A3CA-ECE6CA87F783","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2356fe1f1f6d7960e11f0114cbd6aa7fe05024f7","datavalue":{"value":{"entity-type":"item","numeric-id":247180,"id":"Q247180"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2456206$485C00F6-EA94-4967-9A04-9F33C09C2EB4","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"93541bb195a0809b1f249396bcebe99d047e6b6c","datavalue":{"value":{"entity-type":"item","numeric-id":161561,"id":"Q161561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2456206$5F463C15-8693-4940-B03C-B014ED7EAC0C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"27c17e683e38eea7f1304bde8245957e05f3c985","datavalue":{"value":{"time":"+2007-10-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":"Q2456206$CA8FBDA4-87C1-45E1-A0FA-9B421DBDC5F4","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"d6c548c9f5c5e3a4629894135f308bfa0c5dfaf9","datavalue":{"value":"This paper is continuation of the work begun by a subset of the authors in [\\textit{R. G. Downey}, et al., J. Algebra 314, No. 2, 872--887 (2007; Zbl 1127.03037)]. The authors prove results on the computability theory and reverse mathematics of existence theorems for vector subspaces. They construct a computable vector space \\(V\\) of dimension greater than 1 (over a computable field) such that deg\\((W) \\gg 0\\) for all nontrivial proper subspaces \\(W\\) of \\(V\\), and another similar vector space for which deg\\((W) \\geq 0^\\prime\\) for all finite-dimensional nontrivial proper subspaces \\(W\\). They also prove the reverse mathematical analogs of these results, showing that, over RCA\\(_0\\), the system WKL\\(_0\\) is equivalent to the statement ``every vector space of dimension greater than one over an infinite field has a nontrivial proper subspace'' and that ACA\\(_0\\) is equivalent to ``every vector space of dimension greater than one over an infinite field has a finite-dimensional nontrivial proper subspace.'' Early work in computable vector spaces includes [\\textit{J. C. E. Dekker}, J. Symb. Log. 34, 363--387 (1969; Zbl 0185.02003)] and early work on reverse mathematics of vector spaces is described in section III.4 of [\\textit{S. G. Simpson}, Subsystems of second order arithmetic. Berlin: Springer (1999; Zbl 0909.03048)].","type":"string"},"datatype":"string"},"type":"statement","id":"Q2456206$FF1BF9AE-0238-45DA-9ADB-4348FA86016B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"1267197712a0b8481bdd51a65bbac0428b08dd13","datavalue":{"value":"03D45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2456206$A6BB927A-AD58-4AFB-A7C1-DD119CBBB08D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"13841f0b96793f178ce9a7dcac9f232220625aee","datavalue":{"value":"03B30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2456206$70569514-0E8A-4310-9EE0-9BD24B3DE4F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4cb4544bfd0397cd4a315ee326499c372f013de5","datavalue":{"value":"03F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2456206$E719BDA2-2B73-45D5-A3E2-61B71E0CB034","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"85300600f476f4f2425afb42c3afea385a28de92","datavalue":{"value":"5201707","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2456206$ECEA50A8-9D16-4692-B282-EAF00E656CCA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5e37d5fb4c37201f6d9ffa5a03f2851ea990fad4","datavalue":{"value":"computable vector space","type":"string"},"datatype":"string"},"type":"statement","id":"Q2456206$3E2746BE-F331-4C3A-BBA7-6BC878D380BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e325a72f0e26ab98b1e996e2e86ac8d7891b9a92","datavalue":{"value":"reverse mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2456206$467B841A-031A-41A9-825E-A2612EAD2367","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0ad18e3cece6072fcd797cd827581228fa188b32","datavalue":{"value":"subspace","type":"string"},"datatype":"string"},"type":"statement","id":"Q2456206$514A75D8-215E-40F9-9E9B-784B7C3E25DD","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":"Q2456206$FC2B6F3B-E70D-43D0-9611-343B411F7D2C","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":"Q2456206$DE9B913A-7743-4F5D-BCC4-4BA9750BA46A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"75fd0f997ce3eb89b69a0e6303c37e84c3dfca3b","datavalue":{"value":"https://doi.org/10.1016/j.jalgebra.2006.08.040","type":"string"},"datatype":"url"},"type":"statement","id":"Q2456206$EEF4D8E4-3D93-4C5C-8D2D-F68725109642","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"821f1bf3de8e967c330ae1597819574a40f9257a","datavalue":{"value":"W2028018450","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2456206$E668C8E3-F6C1-420C-A8A8-B125909183C5","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"f2bc1db0f2ee787482905ab44e13c51b16636f57","datavalue":{"value":"Q126276650","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2456206$7F380621-1139-44ED-9E81-B2BD5322DF46","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d016aba6c62feffbfb5a07da9db642aacb247367","datavalue":{"value":{"entity-type":"item","numeric-id":3674634,"id":"Q3674634"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2456206$F12988BE-6AD9-4E34-B98A-3B3FAFB106D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c4ee46648b808d25e3bff5c71bd4fd29ae932d0","datavalue":{"value":{"entity-type":"item","numeric-id":5577085,"id":"Q5577085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2456206$958FC972-CB54-413E-8ACE-37754D195D26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"53acb1af1bb11e4cf2a4874d904ca722243841a1","datavalue":{"value":{"entity-type":"item","numeric-id":2456205,"id":"Q2456205"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2456206$0A91936F-A402-4E2D-8D0A-700C5006FAC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"04a3bc595453799a95815c19e73d118fa61795f8","datavalue":{"value":{"entity-type":"item","numeric-id":4170711,"id":"Q4170711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2456206$C45AFB9C-AE23-4E35-9059-CF196230CF89","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4aa395e98a5080d45a8734c5df649fa4444b9e95","datavalue":{"value":"10.1016/J.JALGEBRA.2006.08.040","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2456206$E9440C45-6199-4DE4-AE5E-4DC179B98AB9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ea30cf75d0e4ca5c56273448d10c6bb38f0a4c34","datavalue":{"value":{"entity-type":"item","numeric-id":402446,"id":"Q402446"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d622580bb92b02a5677e1f258d7c1d3ad85f0f1b","datavalue":{"value":{"amount":"+0.8308582901954651","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":"Q2456206$6B1A4A60-A97B-4EAD-A647-C16527B2E9DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b15c4c6fb96d98623239c84f0311546b9ae21c0a","datavalue":{"value":{"entity-type":"item","numeric-id":3710516,"id":"Q3710516"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3032d69296e4edc9037ac48310b43fb879c95706","datavalue":{"value":{"amount":"+0.7757372856140137","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":"Q2456206$AD613F9C-FD24-4898-938C-E4E12CFA0AF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7560bd9b93bc88079efb1f6465b01491d4d74ffc","datavalue":{"value":{"entity-type":"item","numeric-id":1326776,"id":"Q1326776"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9e4f0decb62a0d5417608d425908c6a4014956c2","datavalue":{"value":{"amount":"+0.7401317954063416","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":"Q2456206$AC6E1595-8E01-4D22-8CA6-B11A30BA3708","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1c69a86762101f0977617f0f58dd15be2ac13bf6","datavalue":{"value":{"entity-type":"item","numeric-id":4764106,"id":"Q4764106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e485a49b31fea88665a8b8db3e7b571a043116e6","datavalue":{"value":{"amount":"+0.7372853755950928","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":"Q2456206$85C80A61-C2C6-4886-A454-E89E95736CF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dd861a5c9413886a81d235fec64d7c6e0e40db0a","datavalue":{"value":{"entity-type":"item","numeric-id":3362714,"id":"Q3362714"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a7f66f12c37664be81f781e0a57289125242edeb","datavalue":{"value":{"amount":"+0.733100414276123","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":"Q2456206$D55314B6-B57F-4CA7-AEDE-1DB5FCE445AF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2456206","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2456206"}}}}}