{"entities":{"Q1317640":{"pageid":1328390,"ns":120,"title":"Item:Q1317640","lastrevid":68447838,"modified":"2026-04-12T23:46:43Z","type":"item","id":"Q1317640","labels":{"en":{"language":"en","value":"Functional trees and automorphisms of models"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 536688"}},"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":"Q1317640$4E89C28C-E2B8-42C3-89AA-073A9DF73FEC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bb9e74b613a6838f0d49d520482c77e2ade1b9af","datavalue":{"value":{"text":"Functional trees and automorphisms of models","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1317640$014D1EA5-468B-4949-9D05-AC8714679897","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e3b46e6cc78a5f48644e4cba5f715255629a02cd","datavalue":{"value":"0793.03037","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1317640$2D7B2746-C32C-4335-92BC-E6FAA061F0D6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8e81a411756ceab091be33c4ee3b09ef30e1f5e0","datavalue":{"value":"10.1007/BF02260926","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1317640$EE53EC4B-873C-42CC-A20A-6B323F9E73FD","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ef3ca3322541db05049091162b21145bd512b130","datavalue":{"value":{"entity-type":"item","numeric-id":251873,"id":"Q251873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1317640$3D9AABBB-C45A-4ADA-AD78-4F38FD477503","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"43a82918b7cb04f59437503b817f00af9741808a","datavalue":{"value":{"time":"+1994-04-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1317640$69E250C0-4857-42CE-AAE2-47865B60CB66","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"91bfe3a58fec1c8fab1e4e1322809b4c7f89aa4a","datavalue":{"value":"An algorithmic construction is described which transforms functional trees into models such that these models are rigid if and only if the tree possesses an infinite branch. As a consequence of this, a series of results like ``\\(\\{n\\mid R_ n\\) is rigid\\} is a \\(\\Pi_ 1^ 1\\)-complete set'' are proved, where \\(R_ n\\) is some very natural enumeration of r.e. binary predicates.   Methodologically we obtain that some results on functional trees may be interpreted in terms of automorphisms of models; for example, a recursive model is constructed each of whose hyperarithmetic copies has no hyperarithmetical automorphisms, but whose automorphism group has power \\(2^ \\omega\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q1317640$3C3D609A-87CD-4CD1-B1E9-F6AAD2D0BC7C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"51c3dc27e13e59ca92a9af5f9c02c332a8b9421a","datavalue":{"value":"03C57","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1317640$BBE157DC-389B-46E1-8617-781DDE91B004","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1267197712a0b8481bdd51a65bbac0428b08dd13","datavalue":{"value":"03D45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1317640$859589E8-B62D-4CBF-AC81-276CEECD1B8B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"38860cd1ae2c9152f8dc1c0938969e78ad3eff30","datavalue":{"value":"536688","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1317640$F2B99CEB-7DEA-48A8-A5DC-F9E1863A9EE7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b0bc1cc50e8d4b517f651118878724606a4faacd","datavalue":{"value":"reducibility","type":"string"},"datatype":"string"},"type":"statement","id":"Q1317640$9BC86DDF-0515-43C9-B818-57ECF45FB9FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1d1704270a9039716b55e6e1812bb5207f41d59f","datavalue":{"value":"rigid models","type":"string"},"datatype":"string"},"type":"statement","id":"Q1317640$A00AD120-ECCE-46D5-B666-55CD148C18B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"22508344c27817228c6f95c5f10d675c2d814d3f","datavalue":{"value":"functional trees","type":"string"},"datatype":"string"},"type":"statement","id":"Q1317640$D55C5DCF-BCBF-44D5-A399-C2BCA91E5FF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0a02a1379908c0f8a7dc05024deeeaf81ad10f88","datavalue":{"value":"infinite branch","type":"string"},"datatype":"string"},"type":"statement","id":"Q1317640$C74CCDDE-95C2-41DB-9061-69CC20AA33E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d5298f921b94770455faba7f67c2e6749982fb19","datavalue":{"value":"automorphisms of models","type":"string"},"datatype":"string"},"type":"statement","id":"Q1317640$906F879B-45C4-41D6-B61B-0A04CB5A330D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7b11d01f155b9d799c8ffe1fc5e6a1e5d8ab6a63","datavalue":{"value":"recursive model","type":"string"},"datatype":"string"},"type":"statement","id":"Q1317640$EF1212C9-38DA-418F-8A99-4AF20DBEBC48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8c8b5a82145d2eb255466105e6a70725ac9c079c","datavalue":{"value":"hyperarithmetical automorphisms","type":"string"},"datatype":"string"},"type":"statement","id":"Q1317640$39E3B8BF-46E5-44E8-94BE-3B192F85466E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d5969ae5a2ffdfe98c9b3655a50da4e19018ece0","datavalue":{"value":{"entity-type":"item","numeric-id":630291,"id":"Q630291"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1317640$3ED44A8D-A9DD-40B6-AE5E-B2E0A3A5D33E","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":"Q1317640$35EB16F3-C4DF-4A60-A1C2-FB48A1D37283","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":"Q1317640$D79372A3-FD64-45EB-A32D-29C3259EEB01","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"014ce49abd2123d15104eda72ee7dd817ec85d8a","datavalue":{"value":{"entity-type":"item","numeric-id":4187932,"id":"Q4187932"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1317640$9EE3DB76-523F-470E-9FA6-9446CD369683","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f9dda630fdb945f78a12a597225cd9ff0f141d9e","datavalue":{"value":{"entity-type":"item","numeric-id":4731317,"id":"Q4731317"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1317640$47147A1B-5682-4754-925D-AC53151CBB38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e98ed4f26c642206c7d0cee1f4bf7171780d9f28","datavalue":{"value":{"entity-type":"item","numeric-id":4298466,"id":"Q4298466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1317640$A67745A0-51DD-4FFD-B983-2EC87C23C42A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"276c563b769fefcb654749b1e4b2e176cf9aeb89","datavalue":{"value":{"entity-type":"item","numeric-id":2561270,"id":"Q2561270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1317640$DA56085E-077C-4D3B-ADE9-77EEF85DAF0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a710487071daac5c3a867a8d85079d456950b4ee","datavalue":{"value":{"entity-type":"item","numeric-id":2547252,"id":"Q2547252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1317640$2A7AEFDD-AB10-4DA1-9974-BACDBA60B887","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8d0e87b8604e5d0d15c7c4c15514a9529ef345f","datavalue":{"value":{"entity-type":"item","numeric-id":4182846,"id":"Q4182846"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1317640$74816CC9-168A-4CF3-836B-8196EC63BAEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"668dc9d846dd7b2f5830421d219c5c6077513d1f","datavalue":{"value":{"entity-type":"item","numeric-id":5618484,"id":"Q5618484"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1317640$DB7CE169-24FB-4D88-BBD4-41C9626A8463","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98b13d961fc4f879ccb92e5d3e929a26b373a0ec","datavalue":{"value":{"entity-type":"item","numeric-id":5677619,"id":"Q5677619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1317640$CA33BB3F-3E0E-41CE-8AE1-70462D8A55FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f1e80d9df1633589ec47539f1aa5868506598f59","datavalue":{"value":{"entity-type":"item","numeric-id":5665304,"id":"Q5665304"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1317640$E1D4A9FF-0CC3-4F1B-B518-3C86BF08D58D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ad4c0b148b493a91b0b0e483d831f9f4a388b4e4","datavalue":{"value":"https://doi.org/10.1007/bf02260926","type":"string"},"datatype":"url"},"type":"statement","id":"Q1317640$8389009F-90AC-4391-A5CF-129963F4F839","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9fb9a8ff6c24c8b08365c68f265571f5aae0c54f","datavalue":{"value":"W2012572086","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1317640$950CFC96-0510-4A49-83B7-F8DCC9E90250","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a9ceb8f0a010c986ef683e426a06ce72e211b96d","datavalue":{"value":{"entity-type":"item","numeric-id":3476796,"id":"Q3476796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"12400486ee95a846f616843f398f38a352a97e60","datavalue":{"value":{"amount":"+0.7300675511360168","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":"Q1317640$C579D68B-44C4-4302-BBAC-9DCD087F406F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"832873aa16be219c533dfa43035dbb8c65fdbff4","datavalue":{"value":{"entity-type":"item","numeric-id":3609628,"id":"Q3609628"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0d987c2d6e95bec7ae5b25b449c24555f3a42dd1","datavalue":{"value":{"amount":"+0.7176294922828674","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":"Q1317640$B0287282-87FC-48B2-927F-549D0F4E7F3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"142dd12bc4b4949026875c9c52ab1d5a768716b8","datavalue":{"value":{"entity-type":"item","numeric-id":4436289,"id":"Q4436289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c45364ab47b0094cc4e5fffef98cb07b66406a1a","datavalue":{"value":{"amount":"+0.7143684029579163","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":"Q1317640$A97EF9B3-0650-42A7-9A03-9607685E3C57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"46aa22f01f55f6e3e54e7bdc7b9dad1d02521447","datavalue":{"value":{"entity-type":"item","numeric-id":5695439,"id":"Q5695439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c45364ab47b0094cc4e5fffef98cb07b66406a1a","datavalue":{"value":{"amount":"+0.7143684029579163","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":"Q1317640$235322E7-4263-4E0F-9E58-55ED900EAAA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"262597d90d1bdedf0908f5164107d0eccf1206cf","datavalue":{"value":{"entity-type":"item","numeric-id":4946103,"id":"Q4946103"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c0df66f49a423464b8cbe40bda26ffcdf3645496","datavalue":{"value":{"amount":"+0.7136160731315613","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":"Q1317640$EB00381A-0BBB-4A3E-8759-245D023C141E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Functional trees and automorphisms of models","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Functional_trees_and_automorphisms_of_models"}}}}}