{"entities":{"Q687281":{"pageid":689130,"ns":120,"title":"Item:Q687281","lastrevid":63478800,"modified":"2026-04-11T13:26:35Z","type":"item","id":"Q687281","labels":{"en":{"language":"en","value":"Recursive properties of relations on models"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 429349"}},"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":"Q687281$4A947F12-4CE3-4D97-89E6-F9B0B2EA5A08","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ffcc2e79fb0e570c087ebc4a0538172f018a1a4d","datavalue":{"value":{"text":"Recursive properties of relations on models","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q687281$171608AE-45EB-4721-9406-B85427A0B1A6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"30bb2e81bc474c2f89df4edf0be1e10d29c092b5","datavalue":{"value":"0793.03036","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q687281$0B933D68-0B80-4EFA-8CAF-B36609A19CDC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4c356c669e7c1c03ce4847d8fa8b60e73fbb1205","datavalue":{"value":"10.1016/0168-0072(93)90150-C","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q687281$007C229B-86C4-454F-AFB8-A274570F7C49","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6299051fa1739eda5cb4b5bc22b4dfbf4a7b07e6","datavalue":{"value":{"entity-type":"item","numeric-id":687280,"id":"Q687280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q687281$4AF8F4B4-7F2F-4CBC-A38F-8A6268563084","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f91a4bcbc93435aed71775d25a4c5cd09e26f12d","datavalue":{"value":{"entity-type":"item","numeric-id":122505,"id":"Q122505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q687281$C05FC3CC-8106-4FC8-8E1C-4843EBC89EF0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"aa19c9ba2bfb06d6b3228b43c9df9a36396a6316","datavalue":{"value":{"time":"+1994-08-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q687281$657C971C-C3B4-4EA7-B376-3F3BC58E3077","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"227dfc53d9946670b6c77cc47d721c8a6bf8c556","datavalue":{"value":"The paper is concerned with questions about the existence of recursive representations for a recursive model with one family of recursively enumerable relations and another family of relations not r.e. or immune. To construct such representations, the author found special sufficient conditions which use r.e. lists of existential formulas.   There are some applications of these results. The author introduces the notion of strong supermaximality for subspaces in an \\(\\aleph_ 0\\)- dimensional recursive vector space \\(V_ \\infty\\) over a recursive field with decidable dependence problem. With the use of his general results he proves the existence of such subspaces. This enables him to find a new proof of Guichard's result that there exist supermaximal spaces \\(M_ 1\\), \\(M_ 2\\) such that there is no automorphism of the lattice of r.e. subspaces of \\(V_ \\infty\\) which takes \\(M_ 1\\) to \\(M_ 2\\) [\\textit{D. Guichard}, Ann. Pure Appl. Logic 25, 47-58 (1983; Zbl 0596.03042)].   He also uses these results to prove Remmel's result that there exists a recursive representation of the Boolean algebra of finite and co-finite subsets of \\(\\omega\\) whose set of atoms is co-hypersimple [\\textit{J. B. Remmel}, J. Symb. Logic 46, 572-594 (1981; Zbl 0543.03031)], and that there is a recursive representation of the group \\(\\aleph_ 0 Z_{p^ \\infty}+ \\aleph_ 0 Z_ p\\) such that the maximum divisible subgroup of it has a hyperimmune complement.","type":"string"},"datatype":"string"},"type":"statement","id":"Q687281$38003A68-A9AD-4A7F-AA76-EBBB7BD3A463","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"3ce0c15be929efae5d1db4165b73b6b1dd00974c","datavalue":{"value":{"entity-type":"item","numeric-id":630291,"id":"Q630291"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q687281$E97450D5-80AD-47AE-8B15-2CACC4B63C69","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"51c3dc27e13e59ca92a9af5f9c02c332a8b9421a","datavalue":{"value":"03C57","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q687281$AF3FCA2F-C484-433A-93DC-0997062EAF23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1267197712a0b8481bdd51a65bbac0428b08dd13","datavalue":{"value":"03D45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q687281$EFB58284-4234-4CD7-B5BE-AAD50D0DF91D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"687eb41202409ad4d0348624833567b83e07c5b0","datavalue":{"value":"429349","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q687281$3DA4F751-985C-4180-902F-CC8B716A909F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c79dadea658890256700ad48438623aefe91d7e9","datavalue":{"value":"recursive representations","type":"string"},"datatype":"string"},"type":"statement","id":"Q687281$AE7EE7E2-7099-474C-8725-ABC461BF0256","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7b11d01f155b9d799c8ffe1fc5e6a1e5d8ab6a63","datavalue":{"value":"recursive model","type":"string"},"datatype":"string"},"type":"statement","id":"Q687281$B17A247F-87DF-482D-98A4-38B9DB61EBDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"26feba030801fc268723ea22c34b87b4e170c5e2","datavalue":{"value":"recursively enumerable relations","type":"string"},"datatype":"string"},"type":"statement","id":"Q687281$4EF0F001-7DE5-4375-BD2F-F38915B57557","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"226ed7fd8862f6b438199fc7bb013360bb90aaea","datavalue":{"value":"recursive vector space","type":"string"},"datatype":"string"},"type":"statement","id":"Q687281$56E2A826-62C7-46F8-B49C-89151BB2CE3D","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":"Q687281$25050EB7-04C7-467C-8D3C-179A5C35138A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b74f13816a6e3afc695f2afd3830e3fc4ee05fe","datavalue":{"value":{"entity-type":"item","numeric-id":3919698,"id":"Q3919698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q687281$7BC09162-1C80-4158-97CA-E736B0DE4BC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"437e3f02018695fd7e184a1ef74211193d7a49b6","datavalue":{"value":{"entity-type":"item","numeric-id":3689174,"id":"Q3689174"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q687281$D9425467-EE4D-4880-B3C6-E9406E7D1435","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9a0035cf4540a200f752e67616ee09960bd2d41","datavalue":{"value":{"entity-type":"item","numeric-id":3261418,"id":"Q3261418"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q687281$8C81E778-14C9-4E51-B379-6D3EDC6EFD03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47eda42b895f3b814239815045a64a69fc219376","datavalue":{"value":{"entity-type":"item","numeric-id":1078171,"id":"Q1078171"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q687281$65D46622-5DA9-4E00-836A-59648631094E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c0fdf8c902e0d3f85f244ab171cd792b07a7092","datavalue":{"value":{"entity-type":"item","numeric-id":4163526,"id":"Q4163526"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q687281$2D925933-BB01-4D4C-9B42-DE76CB49AB3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b327810ed454f2bd6eff2faba0ebae46a09c1cbe","datavalue":{"value":{"entity-type":"item","numeric-id":4063426,"id":"Q4063426"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q687281$F4DE9B9B-57B3-4F1C-AA2E-98EF4EA0339E","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":"Q687281$74683874-7808-4BFD-847F-58E86E6807DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5c662d813b1e9eefb532df071ece3cc094fe82f0","datavalue":{"value":{"entity-type":"item","numeric-id":3922662,"id":"Q3922662"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q687281$297F5681-3D92-4011-B8B4-FDF2DFD49486","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5d683dfe5aba49499424b625771f3210ba997af3","datavalue":{"value":{"entity-type":"item","numeric-id":1156793,"id":"Q1156793"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q687281$31759C5E-2B51-42BD-A9D0-A6124D24F30D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"30d8e1ec72c8ff3967bc4895830c9797d68c4746","datavalue":{"value":{"entity-type":"item","numeric-id":1217118,"id":"Q1217118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q687281$F37833FB-EBE0-480D-915B-B887A9DC6129","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f1252f5fdac352e6ef43f6ed7f7858a6e4692af8","datavalue":{"value":{"entity-type":"item","numeric-id":3924187,"id":"Q3924187"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q687281$74635920-28FC-4B67-9E59-57AEA1C52D23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3dec416ead949ba55ab98d0194a607553c3113dd","datavalue":{"value":{"entity-type":"item","numeric-id":3331214,"id":"Q3331214"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q687281$4A22813A-2E0F-4EC3-A95B-291014AC0EC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9635365b0780328d7ae22bc69b462e7144999d03","datavalue":{"value":{"entity-type":"item","numeric-id":5573961,"id":"Q5573961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q687281$DF564423-586D-47C7-B421-30CF28DE6DEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff7cd69fdc6ed856e2a15113f7fed4b10a2a0401","datavalue":{"value":{"entity-type":"item","numeric-id":2557694,"id":"Q2557694"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q687281$27688359-2B74-4CE1-8A70-5A1B5566DA26","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7608aea8ff74f57cc6cc652c7cbcb9b9ab0315d9","datavalue":{"value":{"entity-type":"item","numeric-id":762063,"id":"Q762063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b186c449cc8d6edd3d4c15f5e6e3d969af356b92","datavalue":{"value":{"amount":"+0.68899244","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":"Q687281$A937A073-B849-4AD3-9AE6-A5CFCC974DB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"75a0647c13c5ee466bad92103dde1655db8c18c8","datavalue":{"value":{"entity-type":"item","numeric-id":1078171,"id":"Q1078171"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7568fa0a734ef8a9af8338027d2a6b22bf57445b","datavalue":{"value":{"amount":"+0.68462455","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":"Q687281$2D6C8789-7380-48AC-A1EA-F2057BE286E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7bdac35d3b5efdbcb7ec7bdd32c1c53f596b3992","datavalue":{"value":{"entity-type":"item","numeric-id":1918795,"id":"Q1918795"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a897b325130659ff59628a1bb77e576b3a96f7ca","datavalue":{"value":{"amount":"+0.67350125","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":"Q687281$3BF29913-2019-4946-BFC5-ED3B200E11FD","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":"232525f772435628dbe2c9839bf92db0333c884c","datavalue":{"value":{"amount":"+0.6731107","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":"Q687281$BE9B49FA-5C27-449C-B7CD-C83A84797378","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a9e6c2bf6ab0e71ad1008867a30ba86a1295623f","datavalue":{"value":{"entity-type":"item","numeric-id":3755446,"id":"Q3755446"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e42bef1ff0d7e18abf0aae9576c5c391319ea007","datavalue":{"value":{"amount":"+0.6638665","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":"Q687281$22995293-C4F2-4F2B-BC0A-2E9DE5C33B78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9275f58d0bd996ac091db0a46fb2fc843f1b9b4d","datavalue":{"value":{"entity-type":"item","numeric-id":3728888,"id":"Q3728888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"933f76fcb68de6227a709a7a9a7ef3fb5efb03a6","datavalue":{"value":{"amount":"+0.66199845","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":"Q687281$4D482686-0480-476F-8ECB-C0E5CD701E2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"67efdb83e58967cffa0acecf40ac0d5adba0a518","datavalue":{"value":{"entity-type":"item","numeric-id":581397,"id":"Q581397"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1f587f16a00f0298d96e5e02be185e287df41ec2","datavalue":{"value":{"amount":"+0.65984344","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":"Q687281$AF9E066D-A596-461F-8C5A-2279285B3076","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"95b6d9606a5fe833e114a3602cc01994d2ad606e","datavalue":{"value":{"entity-type":"item","numeric-id":4844514,"id":"Q4844514"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8d223908aae391b50585d907dc696332ba6301c5","datavalue":{"value":{"amount":"+0.6545896","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":"Q687281$5172CB0B-056D-4952-9424-A18DB02BF7E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d50eddb9dedf69a88037a755d6c994acc4920905","datavalue":{"value":{"entity-type":"item","numeric-id":3693522,"id":"Q3693522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a129a05822c78a0e120e8690cebf0ce5e1a1caea","datavalue":{"value":{"amount":"+0.65342796","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":"Q687281$B422B208-D743-4AD7-B407-4D8EC0BC1DC7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Recursive properties of relations on models","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Recursive_properties_of_relations_on_models"}}}}}