{"entities":{"Q2501165":{"pageid":2511908,"ns":120,"title":"Item:Q2501165","lastrevid":49908412,"modified":"2026-01-11T22:51:48Z","type":"item","id":"Q2501165","labels":{"en":{"language":"en","value":"A computably stable structure with no Scott family of finitary formulas"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5051260"}},"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":"Q2501165$4979380C-208D-4CBF-AAD3-26A8FE3CFD3F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"328ce55d95a50bb3e33e3d2600d71c867d47869d","datavalue":{"value":{"text":"A computably stable structure with no Scott family of finitary formulas","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2501165$AC69C487-DFDB-46D5-A3E6-CE9AA9E5E20C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0bccf276ddec9e9de53c1409e1e64dd93a296746","datavalue":{"value":"1170.03024","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2501165$66669397-9DFB-468C-9924-22C471CD7D4B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"31b4e48a13833dd9894b366d4966e95d03977c89","datavalue":{"value":{"entity-type":"item","numeric-id":175054,"id":"Q175054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2501165$0D4C56B1-3C84-458E-B49F-C87F7F2B4DD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"013387cf05741829c5cb1447cab126ab3f6ccb0e","datavalue":{"value":{"entity-type":"item","numeric-id":435198,"id":"Q435198"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2501165$E42446BD-FD16-4608-9A91-E148DA5AD12A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"22619fa0bcfede8dabe102ce78dd2250f3353f67","datavalue":{"value":{"entity-type":"item","numeric-id":218974,"id":"Q218974"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2501165$5DF274BA-E6E0-453F-A99A-C137914603FA","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a0a7cd28a9f85b9c6ad57bd5bb1ae477bfe37846","datavalue":{"value":{"entity-type":"item","numeric-id":114337,"id":"Q114337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2501165$B57CD576-2F45-4A79-A7C5-D734A180804C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4eb0b1efdc761df70e65c3012800f0bd5424c33d","datavalue":{"value":{"time":"+2006-09-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2501165$F8F10AB2-30E8-4C78-994B-E5C8E8620D4B","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"e6261dfc96293a758f941c4e1613a6617f940a76","datavalue":{"value":"A computable structure is one with universe coded by \\(\\omega\\) and whose open diagram is computable. Such a structure, like a computable linear ordering of order type \\(\\omega\\) with computable successor relation, is called computably stable iff every isomorphism from it to a computable copy of itself is computable. This is related to being computably categorical where now we ask that every computable structure isomorphic to the given one is computably isomorphic to it. It is known that these concepts are related to Scott families, which are families of formulae ``naming'' the model. In the relativized world it is known that the syntactic condition of having a computable Scott family captures the notion of computable categoricity, but it is known that certain examples going back to Goncharov demonstrate that this is not necessary. The paper at hand uses similar methods to construct a rigid computably stable graph with no Scott family of finitary formulae.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2501165$88D70FF2-0DF6-4A90-8C9F-B9EDDDEE736F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"1267197712a0b8481bdd51a65bbac0428b08dd13","datavalue":{"value":"03D45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2501165$D31CE6D7-26FF-4E77-9427-412E34B5EB23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"51c3dc27e13e59ca92a9af5f9c02c332a8b9421a","datavalue":{"value":"03C57","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2501165$9ABD4B81-7A45-4CC9-A42B-9B98BBBB883E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e43b542ed6de220512bd28a67e302c9b7bafc2ff","datavalue":{"value":"5051260","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2501165$8C96F6E3-E8C9-4254-BBD4-CB2AD5EF2FCB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"57421398ccf20f041bc7908419e531ece5ec0878","datavalue":{"value":"computably stable structure","type":"string"},"datatype":"string"},"type":"statement","id":"Q2501165$DF5E45BD-D189-406B-BB64-80F3E241314B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2a0e44abbfb9afe1b4d12c54aec81a7c6d157cf5","datavalue":{"value":"Scott family","type":"string"},"datatype":"string"},"type":"statement","id":"Q2501165$5B365010-5579-4BC8-858D-36A24EDD0474","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"8055ef4c08baf7aae068108b5a3771ed10ad54de","datavalue":{"value":{"entity-type":"item","numeric-id":247180,"id":"Q247180"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2501165$74F0DADF-D340-40F6-B845-8968032F1825","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":"Q2501165$15542401-44F6-4011-8149-ED63455A1724","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2c6482b8fcfdf6e8e05fb5c7d95c8e96b501df20","datavalue":{"value":"https://doi.org/10.1007/s00153-005-0326-7","type":"string"},"datatype":"url"},"type":"statement","id":"Q2501165$0B4AB3E0-E396-4FCB-9D2B-A79C82443402","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5c486fe0563be95d8e23ce45249c6776dd3562a1","datavalue":{"value":"W2015941054","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2501165$0ADC4204-A566-4819-95D8-09B1994C4AF6","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"64fb00daeb600c33bdb6784a21af48a463f2039d","datavalue":{"value":{"entity-type":"item","numeric-id":1123889,"id":"Q1123889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2501165$AD67687A-7966-4165-B028-46DB242E89BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bcf869e8ab52e808530e2def69fcf49de282e2fd","datavalue":{"value":{"entity-type":"item","numeric-id":5753942,"id":"Q5753942"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2501165$856FEA51-A90A-4029-A27B-A6856EC43052","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"90cd6307b8a4f538f5736b0fa0f5f7bfc07af946","datavalue":{"value":{"entity-type":"item","numeric-id":4254616,"id":"Q4254616"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2501165$86D2EA0F-B741-46AF-915E-4025994F34CE","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":"Q2501165$F8CBD1A4-95C5-4E18-9B2F-C46FAF9A7190","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":"Q2501165$39E61F96-0A74-498F-8041-832424C9FFBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ede1df7871613cd17f75c8bb17aad55be7684e68","datavalue":{"value":{"entity-type":"item","numeric-id":2747697,"id":"Q2747697"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2501165$FEA06D88-292D-4089-AA01-B597EF856B17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8eade41e82d1289336843a06426ba5760d31aeb4","datavalue":{"value":{"entity-type":"item","numeric-id":4650279,"id":"Q4650279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2501165$D4E4B7F8-CF1A-4D7D-BC71-FAA942A4BAD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"967fb55b31b6e02bb24043a438b43c2e3c9e09dc","datavalue":{"value":{"entity-type":"item","numeric-id":4003410,"id":"Q4003410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2501165$4A1FA413-20D2-4BD5-8AF2-2528E6450383","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c9740629ffdd1cc6d439b8ee7ad14ae144e71dac","datavalue":{"value":{"entity-type":"item","numeric-id":2709313,"id":"Q2709313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2501165$F3516D06-8D64-407B-A857-1CF13384F2B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ad778688079d4a53aaf9e0e9300643f2b8969a1","datavalue":{"value":{"entity-type":"item","numeric-id":4779973,"id":"Q4779973"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2501165$7C5B74C0-F246-4FF6-9141-83C7AB81D995","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c25cf32b621f5178d06ace026c2e7d52fdfc864","datavalue":{"value":{"entity-type":"item","numeric-id":1239156,"id":"Q1239156"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2501165$158D99EB-BE69-4D73-A56F-5FA74F1594EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1edcfc8f162dce621803913f4363a765362e71d8","datavalue":{"value":{"entity-type":"item","numeric-id":3819052,"id":"Q3819052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2501165$75B1BDB5-9B5C-435D-B6DF-3CAFDDA88A8C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"72dfb6e920312c62b96baaab1f8d3865cc3a09d1","datavalue":{"value":"10.1007/S00153-005-0326-7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2501165$30912E89-574B-49B8-91BB-9A2F01A3E3FC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8de5b9c51224da3405e8cac3272fee4c407445b9","datavalue":{"value":{"entity-type":"item","numeric-id":4217601,"id":"Q4217601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ea1b1809df0ebf18434c3bc1563ed11c5b453c5e","datavalue":{"value":{"amount":"+0.80357426404953","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":"Q2501165$5F7254AF-6422-4F4D-8741-41A29822C186","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"06eaae96e2b8e5f385ba0e57600e122aecfbdf14","datavalue":{"value":{"entity-type":"item","numeric-id":3399191,"id":"Q3399191"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a3ca2d903aec63c5b4d037db1ac125f0a7cc863d","datavalue":{"value":{"amount":"+0.7675572037696838","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":"Q2501165$3D3639B7-4F59-43FD-B8C9-4AB508B94116","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"56b1efeb0264c931483480d3307c25d2a952358f","datavalue":{"value":{"entity-type":"item","numeric-id":1740457,"id":"Q1740457"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6e93603b1f1924bfabe57a90a65eadcffcfdbff6","datavalue":{"value":{"amount":"+0.7573412656784058","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":"Q2501165$FCBF0B53-A4BB-4CD5-9D81-905739D2D8BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c079617d20d89daa13423cd974619b2f0dd2cc65","datavalue":{"value":{"entity-type":"item","numeric-id":2709313,"id":"Q2709313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cf907c6c9fd2aabcf5e66e8aa603075bf214a0d5","datavalue":{"value":{"amount":"+0.7564127445220947","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":"Q2501165$A47F32C7-E1C1-4DD6-904B-5468DDB6080F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d7052375872a51e21c25a047c215bc0893adfc03","datavalue":{"value":{"entity-type":"item","numeric-id":1295389,"id":"Q1295389"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cf30e29b0787c404039cf67b21e90c3ae5f41ad1","datavalue":{"value":{"amount":"+0.7510841488838196","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":"Q2501165$17E3185F-E2A7-4F10-86B2-CEE6A2119CB9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2501165","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2501165"}}}}}