{"entities":{"Q741089":{"pageid":742938,"ns":120,"title":"Item:Q741089","lastrevid":64062069,"modified":"2026-04-11T17:23:19Z","type":"item","id":"Q741089","labels":{"en":{"language":"en","value":"Scott rank of Polish metric spaces"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6342368"}},"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":"Q741089$32CDD952-01C9-41B4-95C6-CB183000305C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c29c60a579f81baa04c00debd99b2c940ff28848","datavalue":{"value":{"text":"Scott rank of Polish metric spaces","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q741089$B2B20168-3E6F-48F6-9D61-1B7CE9ABD3FE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8df4b03dda5e837969abcde5ddc0654f87f9411c","datavalue":{"value":"1322.03034","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q741089$903E756C-16A9-4D68-8AE5-3231C63E7E2B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c5a4abf22741191c4ab0ad188a1588597f559fd5","datavalue":{"value":{"entity-type":"item","numeric-id":305843,"id":"Q305843"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q741089$2735C0FC-CA5E-409C-B5F4-9A236B57FD0C","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":"Q741089$8E465B71-BDCA-4817-8C78-A8CA88F38B9D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8a50794c4d3cd462e6935f5d99c79b15a0a0d6b7","datavalue":{"value":{"time":"+2014-09-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":"Q741089$258CEDA2-058B-4F3B-96A1-F8AFA73C23D0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f231723ac1fd7eb6b78fba0dc044a624ac291c2c","datavalue":{"value":"https://arxiv.org/abs/1402.1086","type":"string"},"datatype":"url"},"type":"statement","id":"Q741089$07723291-DA8A-4AB0-B2B9-390072C965DA","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"1d4a6d449591d2a29fec07a48a6f33b987b3c9a0","datavalue":{"value":"Suppose that \\(\\mathcal{L}\\) is a countable relational language and \\(M\\) an \\(\\mathcal{L}\\)-structure. The relation \\(\\equiv_\\alpha\\), for \\(\\alpha\\) an ordinal, is defined on ordered tuples of \\(M\\) of the same length by declaring: (i) \\(\\vec a\\equiv_0 \\vec b\\) if and only if \\(\\vec a\\) and \\(\\vec b\\) have the same quantifier-free type; (ii) \\(\\vec a\\equiv_\\alpha \\vec b\\) if and only if \\(\\vec a\\equiv_\\beta \\vec b\\) for all \\(\\beta<\\alpha\\) when \\(\\alpha\\) is a limit ordinal; and (iii) if \\(\\alpha=\\beta+1\\), then \\(\\vec a\\equiv_\\alpha \\vec b\\) if and only if for every \\(x_a,x_b\\in M\\), there are \\(y_b,y_a\\in M\\) such that \\(\\vec ax_a\\equiv_\\beta \\vec by_b\\) and \\(\\vec ay_a\\equiv_\\beta \\vec bx_b\\). One then defines the Scott rank of the pair \\((\\vec a,\\vec b)\\), denoted \\(\\mathrm{sr}(\\vec a,\\vec b)\\), to be \\(\\inf\\{\\alpha : \\vec a\\not\\equiv_\\alpha \\vec b\\}\\), where the infimum of the entire class of ordinals is defined to be \\(-1\\). Finally, the Scott rank of \\(M\\) is \\(\\sup\\{\\mathrm{sr}(\\vec a,\\vec b)+1\\}\\), where the supremum is taken over all pairs of ordered tuples from \\(M\\) of the same length.  The Scott rank of a structure \\(M\\) is easily seen to be bounded by \\(|M|^+\\). \\textit{S. Friedman} et al. [``Scott analysis of Polish spaces'', Preprint] and \\textit{A. Nies} [``The complexity of similarity relations for Polish metric spaces'', Talk given during the Universality and Homogeneity Trimester, Hausdorff Institute for Mathematics, Bonn] provided examples of Polish metric spaces (viewed as structures in the natural countable language for metric spaces) of arbitrarily high countable Scott rank. Nies then asked whether or not all Polish metric spaces have countable Scott rank. The main theorem of this paper is an affirmative answer to this question. The proof uses an Ehrenfeucht-Fraisse game interpretation of the relation \\(\\equiv_\\alpha\\) as well as some elementary set theory.","type":"string"},"datatype":"string"},"type":"statement","id":"Q741089$1CE2D418-002A-409E-A1B6-AC619C9949E7","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"cfd184f2088e28b2dd3a427842d1b851f0e21dd4","datavalue":{"value":{"entity-type":"item","numeric-id":246268,"id":"Q246268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q741089$1A194718-682B-440C-999B-3FFD54CFC317","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b3636caf529c49b2a7d814c7a65de2b21aedf761","datavalue":{"value":"03E15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q741089$8BDC43E1-659E-4BF7-95C0-2716B2A9651B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3bc35ecc3144ff65e9737745f556c5739e048b08","datavalue":{"value":"03C75","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q741089$4075B1D2-3A4A-4BB8-BADF-328C5659343D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"abca938afd309309893053e8ee4f51374fed9de6","datavalue":{"value":"03C07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q741089$340FC66B-D59B-440F-B220-F59A72FFB480","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9934057d10323980704e6b94db4ebac54a6fd5ff","datavalue":{"value":"54E35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q741089$B14B9C4A-CC22-41F2-AB33-D8F23FB55516","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ff96e9f88048511d627f0599c77072f54e31ac0f","datavalue":{"value":"6342368","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q741089$0D5443C5-D1A2-4790-8D82-EE6C0C8AE472","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1972ba718f4ad2fb7fd6b7afb932489e10f77e60","datavalue":{"value":"Scott rank","type":"string"},"datatype":"string"},"type":"statement","id":"Q741089$B5F0D239-1A5D-4569-9BFB-EB83E4064387","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"375a1f148aac849768017f542e8ba2578aa81615","datavalue":{"value":"Polish metric space","type":"string"},"datatype":"string"},"type":"statement","id":"Q741089$01B38F3A-5D4F-4EC2-83AC-9A79B194AC33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bbf537dbec71095f9e06a79b6d427b8aa7fcfd79","datavalue":{"value":"infinitary logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q741089$ADD547AC-CF1B-40C7-8A61-60DC7B47B551","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":"Q741089$0B98C960-7D59-4C42-B957-6DEE683AD2C1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9740ddb931bea85c9af9ee11b4f64a9a6d63bb94","datavalue":{"value":"W2963271992","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q741089$0F21F7EE-94FA-4EC6-B900-5ACA02699FBB","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9175d1dc9387cbd8d68d14a1c82bf73ed03891f4","datavalue":{"value":{"entity-type":"item","numeric-id":2778663,"id":"Q2778663"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q741089$8962BBA0-ACFD-4EFD-A0FF-4847A889CA5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"40753e2963d33d5fe3495ad010e48b7935bc770b","datavalue":{"value":{"entity-type":"item","numeric-id":3525843,"id":"Q3525843"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q741089$E8B82EA4-AA4D-486F-9263-E1E63919F25A","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":"Q741089$06AC5C5F-1DDA-4412-9D57-0564C46BBC58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d542b29badc8a7fe50db3b8c16bd2d7c8d19ed5","datavalue":{"value":{"entity-type":"item","numeric-id":4780924,"id":"Q4780924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q741089$30628430-D4EB-49F6-A4D5-CC97C4FC2E53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d1739c2b55475dfd43cc45c16cc81ebdb6214ea","datavalue":{"value":{"entity-type":"item","numeric-id":2547549,"id":"Q2547549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q741089$6C3973F1-5F36-4EFF-B83D-A1A0ABCEBBAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"90f72d244c7b8907ccbd46f5bd23bd8342ea104d","datavalue":{"value":{"entity-type":"item","numeric-id":3578251,"id":"Q3578251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q741089$F0222AD7-6EFC-43B1-BAEC-24B3C7CCB255","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"07a66aca149d54d7dff0ef6032122ab7db2b935e","datavalue":{"value":{"entity-type":"item","numeric-id":5551146,"id":"Q5551146"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q741089$7B847421-9AF4-405A-8AEB-B7F578317F70","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"841590a91cd35247b0aa427daa0bd7ef671f76bf","datavalue":{"value":"10.1016/J.APAL.2014.08.002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q741089$073832E5-C9ED-43A9-A86A-E5A561773C5F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aada850384267e67acbcce70381fd899c28778db","datavalue":{"value":{"entity-type":"item","numeric-id":4991907,"id":"Q4991907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5f852d9c66bc1341c05a12e9151c4442965101c4","datavalue":{"value":{"amount":"+0.9621656","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":"Q741089$0CA38767-4C2B-4230-B29E-7C795FC560B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"246c199a9dc32c21c9fa2ab44a9a1df6c49b5364","datavalue":{"value":{"entity-type":"item","numeric-id":526962,"id":"Q526962"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b2c2b9b73c86639df404b891ac6215e63b28adb6","datavalue":{"value":{"amount":"+0.9023002","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":"Q741089$66F2459B-767B-47F7-BA9B-34CA1752006B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0a52dcb1bc5ca06b23b4f7472020452d0d3ba778","datavalue":{"value":{"entity-type":"item","numeric-id":435193,"id":"Q435193"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ad50f843d98ae1c24d0c8cc5cfc8ccc57d2f03cb","datavalue":{"value":{"amount":"+0.8477319","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":"Q741089$527A7E7D-60B9-42FF-B73A-6767B37D4BB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f205821149dd1416e6817c276f3ed2b37d21a917","datavalue":{"value":{"entity-type":"item","numeric-id":5113420,"id":"Q5113420"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e58b55166fd89402651c68892511e1808a34742a","datavalue":{"value":{"amount":"+0.84224623","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":"Q741089$35288BB3-AD57-4E76-940D-D25ABF484599","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e1f775aa331cb1fe947bc143301e78a6cf7ec468","datavalue":{"value":{"entity-type":"item","numeric-id":2004957,"id":"Q2004957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d609770bcb96511b8ffc17676fb7b66adb4fec1e","datavalue":{"value":{"amount":"+0.8332035","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":"Q741089$15B966D5-EE80-4E91-BFA3-C9058F85E0DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"97173086ea395f5a9364fa2713b1beeb53d9610e","datavalue":{"value":{"entity-type":"item","numeric-id":4799700,"id":"Q4799700"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"016c91302c3eb4108167cd8145fade5a2a2d2b19","datavalue":{"value":{"amount":"+0.8322614","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":"Q741089$DD8888CB-1899-48B3-8638-4F8AE6BAFAFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1d8f96e33d461336efaa109cc7d8b76c19ae4b87","datavalue":{"value":{"entity-type":"item","numeric-id":2778663,"id":"Q2778663"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e459c30c3d0185b900157702a5a7a9f578bbd5d5","datavalue":{"value":{"amount":"+0.8321786","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":"Q741089$3CFE814C-B885-4C35-8552-3EF9D2CC176C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e59119da8c0d9f74b73f9a3b68d4421ef80755a1","datavalue":{"value":{"entity-type":"item","numeric-id":5078225,"id":"Q5078225"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c926097fe7cf35cc008f594e27f5d5a1fc3c3e1f","datavalue":{"value":{"amount":"+0.82598543","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":"Q741089$F3CC5D45-3FB7-4ED3-801C-9CAD10F38E79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3c9a8f67a7a15d137ebeebccb415b0aaf11c8c1f","datavalue":{"value":{"entity-type":"item","numeric-id":4373412,"id":"Q4373412"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2e7f908a0ac620be1a0b8f5ffb4e887ef359df6a","datavalue":{"value":{"amount":"+0.8254069","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":"Q741089$009FE4F2-6715-4844-9893-825663EF2494","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Scott rank of Polish metric spaces","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Scott_rank_of_Polish_metric_spaces"}}}}}