{"entities":{"Q1307158":{"pageid":1317908,"ns":120,"title":"Item:Q1307158","lastrevid":70664499,"modified":"2026-04-13T16:02:15Z","type":"item","id":"Q1307158","labels":{"en":{"language":"en","value":"Automorphisms of Boolean algebras which are recursive over atoms"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1353822"}},"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":"Q1307158$8E8D0161-62C1-44DC-9B2B-256CD128308F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fc8bc5253f44a78f1ad00ac02726d2a64d9c4429","datavalue":{"value":{"text":"Automorphisms of Boolean algebras which are recursive over atoms","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1307158$5F7CDC77-476F-4E0B-B8F5-5418FD55876D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"aece38b9573ba4d9b71dea414ff1ceda14b546d6","datavalue":{"value":"0924.03058","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1307158$620C3E30-F705-4A60-833C-BB5367DA7B1D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2d4957fe40777c397975a8cae2290d81fca20d48","datavalue":{"value":"10.1007/BF02679754","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1307158$F664B0FB-22F4-4DDC-966F-72D3C53B9290","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3dbdb2150dd9582ab43c3ee0419b2c1105fc3436","datavalue":{"value":{"entity-type":"item","numeric-id":1307157,"id":"Q1307157"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1307158$87E752FF-BE58-4545-98A6-D7F1EFE32612","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"61db58adbdfd69e4efef1201cb3d1298d7fdae94","datavalue":{"value":{"entity-type":"item","numeric-id":178377,"id":"Q178377"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1307158$4909FD76-4AD5-46B8-9BF0-F90E0AC315C1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1eeeea4931e75e6b5358c627cc3e151b80b82718","datavalue":{"value":{"time":"+1999-10-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1307158$1F120825-138B-416E-BE6A-21F914377717","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"92564131d2709517064c87bef6fd28a961c51331","datavalue":{"value":"The author studies the groups of recursive automorphisms of constructive Boolean algebras that are recursive over atoms. In particular, he proves that if two constructive Boolean algebras have isomorphic groups of automorphisms recursive over atoms then these algebras are isomorphic. A counterexample constructed in the article shows that this result cannot be improved. As a corollary, the author derives that the group of automorphisms recursive over atoms and the group of recursive automorphisms of a Boolean algebra can be different.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1307158$4F9D6C1C-EFCE-4650-BE62-5178B86F1129","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"51c3dc27e13e59ca92a9af5f9c02c332a8b9421a","datavalue":{"value":"03C57","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1307158$B97044A7-099E-4EAB-9FF4-3B6FE742709C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1267197712a0b8481bdd51a65bbac0428b08dd13","datavalue":{"value":"03D45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1307158$F153DE6D-C7C8-429B-873B-B07CC849BEC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ff5afb9f74c3a3415ada815bc1c672499bc6e26b","datavalue":{"value":"06E99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1307158$D5E4F4E6-6318-431D-95E6-077835F31FDA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2698ab8dbc0ba51bd517b248d01c82cbca981438","datavalue":{"value":"1353822","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1307158$987C1CB3-1423-470C-894A-431368D631D1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7b11d01f155b9d799c8ffe1fc5e6a1e5d8ab6a63","datavalue":{"value":"recursive model","type":"string"},"datatype":"string"},"type":"statement","id":"Q1307158$D4DC6B24-7DDB-441C-8273-892CFCB3E2AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1b2c2059af58e22e0d5de707b1eb4f3ceb83c5a1","datavalue":{"value":"constructive model","type":"string"},"datatype":"string"},"type":"statement","id":"Q1307158$47035299-8EFB-4A3B-96AB-48F0C176CB78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"65d71237f5a2377aad597350be0b0edce29b154c","datavalue":{"value":"groups of recursive automorphisms","type":"string"},"datatype":"string"},"type":"statement","id":"Q1307158$B5CE21E8-8689-46E3-B422-1A581B087CA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a75916aece3d41fe2e05fbc07c41450ea834ec7a","datavalue":{"value":"constructive Boolean algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q1307158$7771AB76-3560-423B-8475-155BE844AD7A","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":"Q1307158$9AC00E83-9164-4245-B54C-D3FA446D37A1","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":"Q1307158$3A971D3E-B36C-49CA-BF88-602A894A1953","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"0996b297d7a93293d6093a367bbe6e07fedd1d9b","datavalue":{"value":{"entity-type":"item","numeric-id":4895321,"id":"Q4895321"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1307158$32726E2A-46A5-4B93-9034-7070384AF0BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"07f34eb2426854460477f4b7393e3012fc0325e9","datavalue":{"value":{"entity-type":"item","numeric-id":4249363,"id":"Q4249363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1307158$1B416DC1-5E7D-4FE0-B7DE-819432F25BF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4e0b8bf01316866bf969aced375973d8263474b0","datavalue":{"value":{"entity-type":"item","numeric-id":800354,"id":"Q800354"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1307158$8B3397F4-505A-4785-AE8A-C2793A013C6A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ed6f6243ffdb941f6ec9897696e77889c47f2439","datavalue":{"value":"https://doi.org/10.1007/bf02679754","type":"string"},"datatype":"url"},"type":"statement","id":"Q1307158$866D6DE0-9922-4082-95AD-C03143FF5215","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"77ba122fa3e6ca56fe1b1e596e19ef0db5d110c1","datavalue":{"value":"W2046268718","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1307158$FC6BE999-213A-4FC3-B999-346D124B9CDD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ea9443dbccf6b276d5a39ae2580b8044bb9a9e80","datavalue":{"value":{"entity-type":"item","numeric-id":800354,"id":"Q800354"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"10fad0eeca1aed533f5fd947189d399e76f8db7a","datavalue":{"value":{"amount":"+0.9240231513977052","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":"Q1307158$E552A01F-9928-42E6-8DE1-A7863ABE8D0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aabbfab089a1aa78601ee6580394ef9559c60a77","datavalue":{"value":{"entity-type":"item","numeric-id":5202182,"id":"Q5202182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f435c6f990eaf32be2e0a84ca238a48b20fa7d1a","datavalue":{"value":{"amount":"+0.9152416586875916","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":"Q1307158$02092506-7F98-4C3A-9413-ACF8BC7A02BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e4319e1624887726b96e93b42ab3462e2472dbb8","datavalue":{"value":{"entity-type":"item","numeric-id":1088654,"id":"Q1088654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"47eecdf2f0d6ee7dd1bc659108e308b873607f57","datavalue":{"value":{"amount":"+0.904521107673645","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":"Q1307158$2D185B6D-A4DE-423B-8985-C078F8396E9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ad7c807bf7db9e52a2cc8caf9adb9cf04778d605","datavalue":{"value":{"entity-type":"item","numeric-id":1078560,"id":"Q1078560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2df5b4216cca9144ac391b8abcc81d9d69031a73","datavalue":{"value":{"amount":"+0.9003337025642395","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":"Q1307158$BE5F5324-6B2D-48CA-ADF7-142BE73B76F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"262e9c6e84d8c4ffd6b210999bb1c399c8275a70","datavalue":{"value":{"entity-type":"item","numeric-id":4722062,"id":"Q4722062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6e36b27aa01211965e5b2d68f51fb8efddd6da80","datavalue":{"value":{"amount":"+0.827907145023346","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":"Q1307158$54ECDCF0-588E-411A-AF2A-429CCF1257D1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Automorphisms of Boolean algebras which are recursive over atoms","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Automorphisms_of_Boolean_algebras_which_are_recursive_over_atoms"}}}}}