{"entities":{"Q998140":{"pageid":999988,"ns":120,"title":"Item:Q998140","lastrevid":65821350,"modified":"2026-04-12T05:36:01Z","type":"item","id":"Q998140","labels":{"en":{"language":"en","value":"The Borel complexity of isomorphism for theories with many types"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5178768"}},"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":"Q998140$BBBD844D-FA94-4187-9E5E-28CDDC434821","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"979a4cccffcc1f5c4a8bde51c9f07e4ac7912ce2","datavalue":{"value":{"text":"The Borel complexity of isomorphism for theories with many types","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q998140$BD33BC5F-5456-4091-B7C5-40A0B360B144","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7f680f890181bc0470a3ed51873b7af1ea37a8c6","datavalue":{"value":"1124.03012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q998140$9D6628C2-9FAC-4AB2-B07A-9454AA48ED7C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a09a13d6e711036641b9a7b37ca570c3d0eae2cf","datavalue":{"value":{"entity-type":"item","numeric-id":201667,"id":"Q201667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q998140$8F300302-3C0B-48C6-90D0-82FC1D2FF301","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":"Q998140$FB0D6E88-08F3-486A-A0D5-7FCA797B6D7C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"afb98c4ec1048abba6e7f701413ea5fbc62888f9","datavalue":{"value":{"time":"+2007-08-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q998140$D682FE27-6273-4959-A174-8A471CD7FCC0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2b3b0c326e8515818892523d90f4891a64be5a8a","datavalue":{"value":"https://semanticscholar.org/paper/815f9e0d262f16d70b56d9ac8b0038580e8b6513","type":"string"},"datatype":"url"},"type":"statement","id":"Q998140$33F3D47D-35E1-41D5-B7FF-AE7E566A8CA4","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"487887873bfdfdb97012c62c940ff4909e624a68","datavalue":{"value":"Within the broader question of which Borel equivalence relations can arise as the isomorphism relation on the countable models of a first-order theory, Hjorth and Kechris asked if the isomorphism relation can (as a Borel equivalence relation) be essentially countable but not tame. The author shows that the answer is no if the first-order theory has uncountably many types.","type":"string"},"datatype":"string"},"type":"statement","id":"Q998140$238D090A-FB89-4AA9-8AC5-ECF6F5E6157C","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"49ac28ac151a8a9103bbae52e8a00e91b3069fd7","datavalue":{"value":{"entity-type":"item","numeric-id":590477,"id":"Q590477"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q998140$9FDF9CD0-9B4C-4393-BF44-4435EB802CC9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a813b4bdb99e25945b5eea647242a11d10dedf0a","datavalue":{"value":"03C15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q998140$287B0895-E89F-4DE9-9CE6-2779B2A53365","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b3636caf529c49b2a7d814c7a65de2b21aedf761","datavalue":{"value":"03E15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q998140$1F1813D4-7D55-4BE2-8B8B-B9BD10D65725","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cbda82a2c3e5ae0c3ec6ff75bc89f13f6e06364a","datavalue":{"value":"5178768","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q998140$3593A007-4523-4FFD-95AE-3D2418621EB9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1afb0f0bcaf0e9dd05ae2cff2f0a02cd29931d0","datavalue":{"value":"Borel equivalence relation","type":"string"},"datatype":"string"},"type":"statement","id":"Q998140$F1630595-0DF8-4C6A-885B-229DDE073AF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"64ec9b90cc61735c5f1b463ce9d468c25b2205af","datavalue":{"value":"Scott set","type":"string"},"datatype":"string"},"type":"statement","id":"Q998140$26D01990-26A4-4EA2-9BB3-568DFCF4B354","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4311f7b23943fe7a6580c638e484c5fdcd2a2c98","datavalue":{"value":"S-saturated model","type":"string"},"datatype":"string"},"type":"statement","id":"Q998140$EB555C5F-962F-427F-A4B9-013E7EC8837F","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":"Q998140$9A0C4436-A3CE-4987-A422-0021BB3DE484","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1e5d243bb4a33dc87c7c876557890f42fd2a986b","datavalue":{"value":"W2052109264","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q998140$A132F08A-C44C-4274-AF01-B3A812BB11D0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1c1b62960b78e11f269624a64808e8da49ebad66","datavalue":{"value":"10.1305/NDJFL/1172787547","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q998140$F9F9C110-3337-437B-8700-79C8309EF240","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5c0abde8b7e18027ad89507ea1d3ee94f85233df","datavalue":{"value":{"entity-type":"item","numeric-id":4977215,"id":"Q4977215"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cf9d572035f4ebaf65cc4b1d336c6aa7c6481571","datavalue":{"value":{"amount":"+0.8325988054275513","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":"Q998140$9B21EBE7-369C-449E-A78D-B37A0C75CE5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9b40eac0e4beedfc1b836e9ba54449d7c60b58c9","datavalue":{"value":{"entity-type":"item","numeric-id":527324,"id":"Q527324"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"12b3029c2d920fac92cdf92d57a500694339edda","datavalue":{"value":{"amount":"+0.8183090686798096","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":"Q998140$EE7E32FF-E71E-486B-9A14-5DE425355612","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a0a7eeeda3217c91c37d89501b9bdbe1af6deeeb","datavalue":{"value":{"entity-type":"item","numeric-id":5108099,"id":"Q5108099"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e76db13eb522b2540be93cfdef33ee8ae807ce9e","datavalue":{"value":{"amount":"+0.8130419850349426","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":"Q998140$E89AC1F6-3513-4851-AB42-D7BD9893E04D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6e68a1e2e746f0838c7a18b414ec4cf20f122432","datavalue":{"value":{"entity-type":"item","numeric-id":3011115,"id":"Q3011115"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1d0c7fd6a57cfc0ae8524cffbf61aa997282664a","datavalue":{"value":{"amount":"+0.7912829518318176","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":"Q998140$D6AF8A27-CEC0-4B03-BF60-6915321D5154","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a4c51565e33afb153f7b876731ecf77279cc432c","datavalue":{"value":{"entity-type":"item","numeric-id":5348072,"id":"Q5348072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"98a2cb1650893a2f639c4006f37fc3ea5304caf5","datavalue":{"value":{"amount":"+0.7867913842201233","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":"Q998140$5FF7EF7C-DEEE-4ED4-99E2-B963DD3ED4D8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The Borel complexity of isomorphism for theories with many types","badges":[]}}}}}