{"entities":{"Q2505131":{"pageid":2515874,"ns":120,"title":"Item:Q2505131","lastrevid":73436508,"modified":"2026-04-14T15:58:36Z","type":"item","id":"Q2505131","labels":{"en":{"language":"en","value":"An uncountably categorical theory whose only computably presentable model is saturated"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5059459"}},"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":"Q2505131$7CD97A71-84FA-4D07-A853-6B78F7EB96C1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"333f892577bbc3d29b205eba88dc6e779aed042a","datavalue":{"value":{"text":"An uncountably categorical theory whose only computably presentable model is saturated","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2505131$C2EEBE8A-3688-4F5E-8DE4-6A620C3D6BB7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1e4233c76513e4a31a8a320ab413fa0ef8fb1b88","datavalue":{"value":"1107.03032","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2505131$B7CF71F1-EB5E-4366-A559-80B2A77A2837","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"de07eca08fd275b43aedd5c0b45bb2e3e71c52be","datavalue":{"value":{"entity-type":"item","numeric-id":456803,"id":"Q456803"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2505131$2E6F87B4-58C2-4220-B6F2-C94530CF37CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"908230505203eccb837b53bb6b9c33b396a9a16d","datavalue":{"value":{"entity-type":"item","numeric-id":188054,"id":"Q188054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2505131$58E1A9F4-D129-4C84-95E5-EF0DC606ABF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"05f15d010c207ee596a2b36d0f61cf07430e5ece","datavalue":{"value":{"entity-type":"item","numeric-id":387120,"id":"Q387120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2505131$23CD1E65-07DE-47F5-8A15-8E9FFA26D00A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6325d9f59cde8ebbdb24a9f950cab3fcef3decf6","datavalue":{"value":{"entity-type":"item","numeric-id":190248,"id":"Q190248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2505131$59F86E04-73C9-42C6-BDAD-BD61FA259735","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9022dfc459f559856a162bb29019f955ec43ea2e","datavalue":{"value":{"time":"+2006-10-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":"Q2505131$87AE1D8F-8D77-48C3-865D-F23EDA9695FD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"51c3dc27e13e59ca92a9af5f9c02c332a8b9421a","datavalue":{"value":"03C57","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2505131$26184938-6009-4F76-AC26-F53BFA2A3CDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d40823595f671f8f347825fd0adc1e31ebeb184f","datavalue":{"value":"03C35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2505131$0BB7F15A-C813-4EE0-BFE9-C78507C10B5C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4ab1a497cadc65c8b53fe0f154806de10890957e","datavalue":{"value":"5059459","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2505131$BB852371-292F-47E0-B04D-4735BE3B73B6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7d96b00b703394dec7a131f196d03a78971399e8","datavalue":{"value":"computable structure","type":"string"},"datatype":"string"},"type":"statement","id":"Q2505131$FAB8894D-9B11-4533-9A8C-476A6E9BC599","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"20c1583b2b8d45ae5fa5e8bb304d44685306b410","datavalue":{"value":"\\(\\aleph_1\\)-categoricity","type":"string"},"datatype":"string"},"type":"statement","id":"Q2505131$2EE2618F-6127-4D82-A86F-93CBB5FF6D16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5e5c5adc58ad78628a83386626f148ec4473190c","datavalue":{"value":"computably presentable model","type":"string"},"datatype":"string"},"type":"statement","id":"Q2505131$D145DBF2-FC33-4DA1-B4B9-D9423D77D7E8","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":"Q2505131$E0844080-B658-4C9D-AC57-027CEFA21E63","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7663742d0e5e984eb84d332c5010a7b64af0b98c","datavalue":{"value":"https://doi.org/10.1305/ndjfl/1143468311","type":"string"},"datatype":"url"},"type":"statement","id":"Q2505131$525025E0-A4B7-4C05-9265-D463415B9032","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7eca80539188518576d16c356cef4deb0e2508fa","datavalue":{"value":"W2049842103","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2505131$49A4DDC2-66D1-417E-9ED5-3610971EDC25","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"db76faf1b9cb27a7e3311f76ef3ad8104510de55","datavalue":{"value":{"entity-type":"item","numeric-id":5621361,"id":"Q5621361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2505131$13C46B89-5E12-4AD9-B05E-3EED76A09AC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fa84e597e34f0f6e801879a71474ece9f5ca089f","datavalue":{"value":{"entity-type":"item","numeric-id":1276268,"id":"Q1276268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2505131$F3933181-D4A0-47E7-874A-0A529C5BDDAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c6f8e58b6659bf01a2e8436fdcba6bc391759014","datavalue":{"value":{"entity-type":"item","numeric-id":1255943,"id":"Q1255943"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2505131$9F48463D-AA5D-4808-B04D-A7C9FCBAA9C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3af90cbe357c1c686065486b4985fd0c8409ae0c","datavalue":{"value":{"entity-type":"item","numeric-id":4096938,"id":"Q4096938"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2505131$FE57BF00-11F7-47AC-B2ED-F1A78656CC45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"11eae58e914450d6338efb26d8c8a1817a7328e9","datavalue":{"value":{"entity-type":"item","numeric-id":3905446,"id":"Q3905446"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2505131$7F29F448-41DC-44A6-BD06-6170B3A68BA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7be0c11bea85ccc7f03ac2ce3eb58506a172787b","datavalue":{"value":{"entity-type":"item","numeric-id":579238,"id":"Q579238"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2505131$5AAD1DF9-5DC6-450D-83C6-5BC78AB936A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6426d070826c71b8b2d2ea6a85844613d9ec3026","datavalue":{"value":{"entity-type":"item","numeric-id":4249727,"id":"Q4249727"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2505131$92B3CD59-DA16-43A9-B7C4-FEF4E91C4DFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"42b8ee7a8b19d70f4fb0d4aadbb8b30113b89b91","datavalue":{"value":{"entity-type":"item","numeric-id":1381432,"id":"Q1381432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2505131$ADF50853-B52D-4633-96CB-04C356A9F409","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f96a5a7b9b53d8667ea6edfa9ce52ce8b257be90","datavalue":{"value":{"entity-type":"item","numeric-id":3901497,"id":"Q3901497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2505131$BE6309C2-A04E-4116-AC9E-683F4F905F61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eab642fe84e55e91a35d5ae564a473951c08c8a5","datavalue":{"value":{"entity-type":"item","numeric-id":701304,"id":"Q701304"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2505131$21716957-853E-4D4A-A87A-B93203AE55D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"15736a1fabe53e34c9adbd1c3f77269c133e2124","datavalue":{"value":{"entity-type":"item","numeric-id":4040892,"id":"Q4040892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2505131$279EA986-AB18-4AFA-BD36-C31EA4195599","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"cc142227effb1e87a6bc6d25381a1693032e5574","datavalue":{"value":"10.1305/NDJFL/1143468311","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2505131$714D8B61-BBF4-49CE-8168-86D6FC8FFD1A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7958485b30656a25158341863d88212ed7432125","datavalue":{"value":{"entity-type":"item","numeric-id":4268931,"id":"Q4268931"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5fb4cce6aed11c1e44127337ea47e71884dcee7a","datavalue":{"value":{"amount":"+0.886952","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2505131$8F5931F3-32EB-4A5B-9C30-17BB940ED07B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"90731e1199153a1564fca364a72b1dd0985b99ef","datavalue":{"value":{"entity-type":"item","numeric-id":3726095,"id":"Q3726095"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"836b7e626cfd6696cb8d8415284adae3cfee4cda","datavalue":{"value":{"amount":"+0.8869433","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2505131$9F1B19C4-DB7C-4E9A-9845-E50A03B32EA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3180538b8f0622678d7263b1b4edcf47f1c7c633","datavalue":{"value":{"entity-type":"item","numeric-id":4323043,"id":"Q4323043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a1bac9a6f5718e8acffbe2adcd71f2973ebca1ab","datavalue":{"value":{"amount":"+0.8668502","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2505131$B18717B5-6982-4060-AE9A-146C686B8269","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1ee8302837497adc0bd791aca5f7f1f44fff968b","datavalue":{"value":{"entity-type":"item","numeric-id":862348,"id":"Q862348"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2a4190a3850a5ff6c60065f3ce6a0f724357c8ff","datavalue":{"value":{"amount":"+0.8658731","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2505131$747A6DED-B978-470B-96B6-C0BEDFC99598","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bd965bac865f4f550b593e4342b1743fac4fc7b5","datavalue":{"value":{"entity-type":"item","numeric-id":2549320,"id":"Q2549320"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4da5e8b6a7477d1b94666485d67f516db9a9610b","datavalue":{"value":{"amount":"+0.8647823","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2505131$011EABE4-7654-466C-B3C4-B74AD59CFF8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"845d69892e1e4438ca6ee397c23b59f070c530a9","datavalue":{"value":{"entity-type":"item","numeric-id":4813692,"id":"Q4813692"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"080cc8fbdf5a17b2bbf4904a083747de021cfa00","datavalue":{"value":{"amount":"+0.8628455","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2505131$399FF336-3D9B-4027-8FD8-D9BDCABE4BC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"53eacbf3f6bd4d318194015863ae92604f82114a","datavalue":{"value":{"entity-type":"item","numeric-id":3539556,"id":"Q3539556"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3c0d9f1a9c490756f3665fe16ac0d433e232a280","datavalue":{"value":{"amount":"+0.86272","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2505131$151C616B-5ABE-4932-B97F-CAF87EB8CE07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"31623390b1d58eddd0d723bf4727348c2de74139","datavalue":{"value":{"entity-type":"item","numeric-id":2959166,"id":"Q2959166"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2324e2345f144d60b46c00e05e7e368c45226455","datavalue":{"value":{"amount":"+0.86249995","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2505131$18E7E758-ADD0-4484-9A72-6F660B467618","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"adb463df6f004c069835f030659b7edfdd6af6a9","datavalue":{"value":{"entity-type":"item","numeric-id":1821096,"id":"Q1821096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6dae93a2e1676a64d831d952937c386d87fb3fac","datavalue":{"value":{"amount":"+0.8595326","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2505131$E82BD5C2-0036-4349-B974-ACD435710516","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9d4b6aacac2905f2d1a06007cf73e67175da9b21","datavalue":{"value":{"entity-type":"item","numeric-id":1887664,"id":"Q1887664"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9e497b56a2c41bafd0db4dca217c8aa58056913c","datavalue":{"value":{"amount":"+0.8593636","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2505131$9AB0A257-5DAB-4267-9AD9-754F21574183","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"An uncountably categorical theory whose only computably presentable model is saturated","badges":[]}}}}}