{"entities":{"Q1078172":{"pageid":1088924,"ns":120,"title":"Item:Q1078172","lastrevid":66251190,"modified":"2026-04-12T08:32:53Z","type":"item","id":"Q1078172","labels":{"en":{"language":"en","value":"Strong \\(\\Delta ^ 0_ 2\\) categoricity"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3959405"}},"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":"Q1078172$900A9F3D-314C-48D1-9703-BD8FBFAC5BD4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"db31de3dbc42f3842f7b4de64e20fc0f4ae51650","datavalue":{"value":{"text":"Strong \\(\\Delta ^ 0_ 2\\) categoricity","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1078172$B79F05F6-4F8C-4B86-884C-B715A9BB7F34","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d0cd52c7df399c92fb493a43d1f6f6c6da013a8b","datavalue":{"value":"0596.03043","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1078172$6F32FFCE-D7AF-4CC0-BA3C-38B4D3CAC501","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9d098a7422d8679bd3aeee0a9a83c3d9bd2dfb54","datavalue":{"value":"10.1007/BF01978849","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1078172$1E835B75-7E6E-4ECC-943E-BEB72FA23099","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7e59d7cdbbec99b0ac30571f5599ead43d03c8a5","datavalue":{"value":{"entity-type":"item","numeric-id":799719,"id":"Q799719"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1078172$776AC641-EBCD-41AE-8AAC-1A72C1A4D4EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4bfee629fa3f6313e36a8128edc940eba1a6d8bf","datavalue":{"value":{"entity-type":"item","numeric-id":1407592,"id":"Q1407592"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1078172$D70E5630-A344-4868-80F9-3E9E296C0FAD","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":"Q1078172$2527CA52-575B-4710-9894-DA59094D40DB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3c94df5c9af0ede578c52141befd29044de13172","datavalue":{"value":{"time":"+1985-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1078172$07D7693D-FC46-48B4-91D7-B0F187175886","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"27f033a0b43e55059cea9f63473811e316589d26","datavalue":{"value":"https://eudml.org/doc/187335","type":"string"},"datatype":"url"},"type":"statement","id":"Q1078172$E4397B4A-97D9-4886-AADF-E5D75A49B633","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"0d18290fafe0efcdd0621cf36d86401cdf426161","datavalue":{"value":"The notion of strong \\(\\Delta^ 0_ 2\\) stability for recursive structures is first introduced and discussed. A recursive structure \\({\\mathfrak A}\\) is strongly \\(\\Delta^ 0_ 2\\) stable if there is a total \\(\\Delta^ 0_ 2\\) function f on \\(A\\times {\\mathbb{N}}\\) such that for every recursive structure \\({\\mathfrak B}\\), every possible isomorphism from \\({\\mathfrak A}\\) to \\({\\mathfrak B}\\) is f(a,n) for some n. This notion lies between that of recursive stability, previously studied by Goncharov and that of \\(\\Delta^ 0_ 2\\)-stability, studied by Ash. The analogous notion of strong \\(\\Delta^ 0_ 2\\)-categoricity is then also defined.    Several useful-looking examples are produced to show that various combinations of properties can occur, while several questions are posed which remain unanswered. The main question asked is whether there is a natural syntactical characterization (under reasonable assumptions) of the strongly \\(\\Delta^ 0_ 2\\)-categorical recursive structures, along the lines of those obtained by the authors respectively for recursive categoricity and \\(\\Delta^ 0_ 2\\)-categoricity.    The corresponding question is also asked for strong \\(\\Delta^ 0_ 2\\)- stability, although the possibility may be thought to be precluded in this case by the result proved here that a 1-recursive structure is strongly \\(\\Delta^ 0_ 2\\)-stable if and only if it is recursively stable. By contrast, an example shows that a 2-recursive structure may be strongly \\(\\Delta^ 0_ 2\\)-categorical but not recursively categorical.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1078172$1581E5F0-EDD8-468E-9387-8C792E9DD5F7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"1267197712a0b8481bdd51a65bbac0428b08dd13","datavalue":{"value":"03D45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1078172$A5A73501-3D1E-4556-AC76-B988EA58B01B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"18bdc3e9791879423538829d590ed2da8e1e9db6","datavalue":{"value":"03D25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1078172$8FE7B0CF-F5D4-4197-8ABE-6638E0FE0D52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"51c3dc27e13e59ca92a9af5f9c02c332a8b9421a","datavalue":{"value":"03C57","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1078172$5D22DC24-1675-40E8-907E-CB7A8CDE3A42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3fca415580115e1e0a74c69afb3a7d85b0c01d8d","datavalue":{"value":"03D55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1078172$AAAE1549-C159-4DA0-82C9-1C350A809ED1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"186d7df27fe5064b8b4f06d27e3f49b753c4ce9b","datavalue":{"value":"3959405","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1078172$D6221CCE-8CFE-4FB5-9E0F-AFD0A8516580","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"34b44e7b40021effdee26093512bde7058814281","datavalue":{"value":"stability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1078172$84F1C821-F263-4D72-B460-A35501EF1A00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"562c063f7d0152a3c5a5eeb5c5648d0eaceaf64c","datavalue":{"value":"recursive structures","type":"string"},"datatype":"string"},"type":"statement","id":"Q1078172$56827BA5-356F-4FEA-9F19-FEABF9D504D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6f5cbe40a8b8d6117d9c4aff303f9b0fd7f7c98","datavalue":{"value":"recursive categoricity","type":"string"},"datatype":"string"},"type":"statement","id":"Q1078172$0E9810A0-B544-403E-A124-933F5B9187DB","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":"Q1078172$93801DEC-4C9D-4923-B9FC-EF21B31B5CB2","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec1e438bac43bea1246a7f2dfc3538558c1c1287","datavalue":{"value":{"entity-type":"item","numeric-id":3767329,"id":"Q3767329"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1078172$D414F7AE-EDA5-4E42-B9C0-BF8C14DA2D4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff5a5c976723aae226a75add549dd3d7aa355e43","datavalue":{"value":{"entity-type":"item","numeric-id":1821772,"id":"Q1821772"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1078172$2F2CA03D-5658-4005-A640-D14661660E6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e576ce89587a57392f0f21a1b25045c767f8fadb","datavalue":{"value":{"entity-type":"item","numeric-id":1257890,"id":"Q1257890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1078172$3652DC16-BB00-43D0-9B97-B0DF9A9E2B0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cc472c4006d08ec38c269978e89f0714a413eb9c","datavalue":{"value":{"entity-type":"item","numeric-id":1247964,"id":"Q1247964"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1078172$1761E93F-1BD6-4007-939F-F1BFE9626D16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"889f3996a3ccc577e577189324c66bf212472b18","datavalue":{"value":{"entity-type":"item","numeric-id":3331204,"id":"Q3331204"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1078172$BF5595E7-7A92-4229-9ADD-6FCC08E1F90C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d7326762699e9101e0f0b14c3d6655cb2b160cfe","datavalue":{"value":{"entity-type":"item","numeric-id":3931264,"id":"Q3931264"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1078172$0B67CB6A-1B32-4A53-BC94-D339A2A77410","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fe49ea515230d8159fcc318898ef2094c0be90ae","datavalue":{"value":{"entity-type":"item","numeric-id":1094410,"id":"Q1094410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c14a95c11c84dd1caf7702d1aca7bed879fdba7b","datavalue":{"value":{"amount":"+0.8094698190689087","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":"Q1078172$9E74A5F8-46CD-4260-B4C4-5BB6FAF5B14C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1d21120a11cbbd1bd24c1b8d8f74d74d537e71f6","datavalue":{"value":{"entity-type":"item","numeric-id":3767329,"id":"Q3767329"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"707a93d362b1d66b60f71c9dbb34cc54553481d3","datavalue":{"value":{"amount":"+0.7875548005104065","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":"Q1078172$21BEBA28-3B62-42D6-931A-54B83FC007E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1ad1adbacfd0b348aef076a9a9223d64f8103c3b","datavalue":{"value":{"entity-type":"item","numeric-id":1084103,"id":"Q1084103"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7a4699cced614c31abf32d1270a1b4113d2642e7","datavalue":{"value":{"amount":"+0.7841832041740417","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":"Q1078172$3AB6918C-EEEE-4FEC-BE43-97897A659494","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9e6c7db1345f9abc8154b7bc708a4127546c07be","datavalue":{"value":{"entity-type":"item","numeric-id":3091709,"id":"Q3091709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"372e89c6e0ce6bd89103d16e5cfb2132cc225438","datavalue":{"value":{"amount":"+0.7804076671600342","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":"Q1078172$F0D88C9B-3E54-4EBE-A271-5A9BC2E8C55B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3ebb2feb6a05f56b18e6699f646fe2e52d46f375","datavalue":{"value":{"entity-type":"item","numeric-id":1821772,"id":"Q1821772"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f4841a2d5ae850dfc8a9c30a3de93c6d7d8e7270","datavalue":{"value":{"amount":"+0.7565072774887085","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":"Q1078172$481233B6-FB20-436F-A15F-1EF2A6E81E9C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Strong \\(\\Delta ^ 0 2\\) categoricity","badges":[]}}}}}