{"entities":{"Q1123889":{"pageid":1134638,"ns":120,"title":"Item:Q1123889","lastrevid":49298686,"modified":"2026-01-06T22:28:36Z","type":"item","id":"Q1123889","labels":{"en":{"language":"en","value":"Generic copies of countable structures"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4110673"}},"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":"Q1123889$2495FF9A-9F63-4ABD-8F7C-B7F558716B87","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4c58ca6ee82906d0d78bd4d06c4f66d53dd166bf","datavalue":{"value":{"text":"Generic copies of countable structures","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1123889$ED4F1594-E3F8-4673-9317-9A9C5A2B60A9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f1ea70131202dee7b933a145495d89b5b5a74ce2","datavalue":{"value":"0678.03012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1123889$EB381A62-4548-438A-86FF-079E5CDB24D8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9b97b0b67e7bc7a6beaa6d6493ee557f3b070675","datavalue":{"value":"10.1016/0168-0072(89)90015-8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1123889$A82F255B-BF5F-46BA-A2C1-E33C6A00674B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cdc0971aeae0335d0e3010ca7d9310787d4d14a5","datavalue":{"value":{"entity-type":"item","numeric-id":1123886,"id":"Q1123886"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1123889$187E2954-5AFA-4FCF-AF71-F23C5FEF73AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6fa8e092697f26e8493ed1bdb5b6bbe79c6f36bf","datavalue":{"value":{"entity-type":"item","numeric-id":494651,"id":"Q494651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1123889$C2F11160-39AC-4FA2-963A-64B42290F5BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ea8c8d30a536dc905686cdd651300995898f02b0","datavalue":{"value":{"entity-type":"item","numeric-id":1329143,"id":"Q1329143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1123889$B1CCB85B-BC96-4617-B961-748E502C396A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a89229a66bdfdb3e2e5619b7e8031866b3343269","datavalue":{"value":{"entity-type":"item","numeric-id":189917,"id":"Q189917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1123889$E87EA383-CF8D-4F86-AE94-2138D023DA42","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":"Q1123889$A2DE24AC-68E8-47F5-ABF5-89B4A364236A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7211ad5ca16eb0d22cd0051fff3d0f3af254ceb6","datavalue":{"value":{"time":"+1989-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":"Q1123889$661A30C1-F97A-4F89-82D2-FC139FCEF97A","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"85de69610510d6f78a6c570be2d9acfa14d9f5d8","datavalue":{"value":"There is a series of papers concerning intrinsical relations, stability and categoricity of recursive structures in hyperarithmetical degrees [e.g. \\textit{C. J. Ash}, Ann. Pure Appl. Logic 32, 113-135 (1986; Zbl 0631.03016)]. It was shown that for these properties there is a natural syntactic condition which is sufficient and, with additional assumptions, is also necessary.    In this paper arbitrary structures whose domain is the set of natural numbers, not just recursive structures, are considered. Recursiveness of relations is replaced by recursiveness relative to the diagram of a structure. It is proved that for this generalization, the natural syntactic condition is both necessary and sufficient. This is done producing an isomorphic copy of a given structure by forcing with finite partial isomorphisms.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1123889$A460B154-CC73-4C62-A748-281ADC5E248A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a813b4bdb99e25945b5eea647242a11d10dedf0a","datavalue":{"value":"03C15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1123889$3013C06E-8E12-48E6-B3E0-4AEF9F2DD8B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7ac70285252cd92545adbf950f35d5f38d449784","datavalue":{"value":"03C25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1123889$B5CB9831-7860-46E7-A350-6CE2EE213EFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d40823595f671f8f347825fd0adc1e31ebeb184f","datavalue":{"value":"03C35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1123889$1EB81135-1791-41E0-955F-C91C9396EC7A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c786f87fca4e70de5c44a85e5889aaa10ce03b53","datavalue":{"value":"4110673","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1123889$2F23C8A9-63F9-46A8-87AE-CD62038EA8BA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"048e17ed3b30305c7d4d12d95f290f8c6176a7d8","datavalue":{"value":"denumerable models","type":"string"},"datatype":"string"},"type":"statement","id":"Q1123889$9CA27F9D-48C7-457A-9836-5F01C7554F9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9a3b417213f1366c965da801b8e017a31000b8ab","datavalue":{"value":"categoricity","type":"string"},"datatype":"string"},"type":"statement","id":"Q1123889$2A11B84B-E6C8-4785-A70D-ECB8D2DA1B76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1f54d99192a98ebd3bfe449614a353f560eaf4c2","datavalue":{"value":"intrinsical relations","type":"string"},"datatype":"string"},"type":"statement","id":"Q1123889$8BD13BE0-2393-49A4-9EDE-0C88E4F41AA3","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":"Q1123889$B2D8C82C-1A61-493E-9584-C3634D3682DA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"67f74bab1b6869637337b4f2697c8523441efec3","datavalue":{"value":"https://doi.org/10.1016/0168-0072(89)90015-8","type":"string"},"datatype":"url"},"type":"statement","id":"Q1123889$783BF9B8-AA33-4A3D-BCA9-537D8ED30037","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1aab416e101a07dc560911046dff228495539212","datavalue":{"value":"W1976089169","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1123889$A45539F6-73BD-494A-8BC6-18280F1CC211","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":"Q1123889$3412F169-A324-45D1-834E-5D1441F3F231","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":"Q1123889$25EA9531-E130-439A-AC98-A723FF84D78D","rank":"normal"},{"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":"Q1123889$212510FD-6B9C-4B3E-8AE0-05F982EC866E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ca566accdb3335646f098ebd7e54f8c2b019d71","datavalue":{"value":{"entity-type":"item","numeric-id":1106203,"id":"Q1106203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1123889$1E4BB38D-910E-4E0B-AEFD-9065FAD7019E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf8ee54619e7a920c6b89f8dd1579b992f80cbcf","datavalue":{"value":{"entity-type":"item","numeric-id":3770517,"id":"Q3770517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1123889$AB3B200D-CA5D-424C-A6E1-E2B441488597","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":"Q1123889$F482D159-75FF-43CF-9AF9-E154FFB3307F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ac6f7e4468d0baacecd8a0edb78473079ac607bd","datavalue":{"value":{"entity-type":"item","numeric-id":1902615,"id":"Q1902615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7ea484da4bebce53906944c44d9d624d88171936","datavalue":{"value":{"amount":"+0.769912838935852","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":"Q1123889$AC0C234D-D577-4525-9667-675E2E1D00C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3cfbcfdea442a571e4da1c99bd80eb29f40dbc43","datavalue":{"value":{"entity-type":"item","numeric-id":2976365,"id":"Q2976365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7ea484da4bebce53906944c44d9d624d88171936","datavalue":{"value":{"amount":"+0.769912838935852","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":"Q1123889$30FA428F-C77C-40A8-B2CB-37EA7C70BDC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"81808c0456e667c79a3d049cfd1218ad1abe91b6","datavalue":{"value":{"entity-type":"item","numeric-id":1368584,"id":"Q1368584"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"17efba63170e2fc0d12848e388b87134fa663a45","datavalue":{"value":{"amount":"+0.765534520149231","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":"Q1123889$4C924204-8C6D-4379-ABFD-2FB7CCFF8BBB","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":"17efba63170e2fc0d12848e388b87134fa663a45","datavalue":{"value":{"amount":"+0.765534520149231","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":"Q1123889$492DB167-4533-4E92-B601-D457DDE0AEAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"786f53aae52d3bdf5d415b57d295465e44c33ad1","datavalue":{"value":{"entity-type":"item","numeric-id":5717076,"id":"Q5717076"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f5888cf833df31894245f68ab4a73c2d0608dfb1","datavalue":{"value":{"amount":"+0.7604945302009583","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":"Q1123889$853DED1A-20C5-40F2-AE11-EF64BA332C06","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1123889","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1123889"}}}}}