{"entities":{"Q922539":{"pageid":924387,"ns":120,"title":"Item:Q922539","lastrevid":65434713,"modified":"2026-04-12T02:34:00Z","type":"item","id":"Q922539","labels":{"en":{"language":"en","value":"Partition properties and well-ordered sequences"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4168673"}},"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":"Q922539$2203F46D-89FD-4FEB-B491-4D5B2CD502E6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f95a129fabc8b0c40974bb94dc991d13ed40d219","datavalue":{"value":{"text":"Partition properties and well-ordered sequences","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q922539$9310DDA7-E31F-406E-965C-29F1E9BFDE4C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1c38fea4b146d372f2cfa3ab97493f40d67942a9","datavalue":{"value":"0711.03024","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q922539$367A025E-C762-4ACC-9B94-119535F1DFF8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"47fdec836e91be61b38473e6933461cc61887cf0","datavalue":{"value":"10.1016/0168-0072(90)90081-C","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q922539$C775B714-CC72-4F8D-9ADA-59DBC5EAF70A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6e3a70aa574a701a426b5b86077bbd0601f7ad40","datavalue":{"value":{"entity-type":"item","numeric-id":922538,"id":"Q922538"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q922539$260CBAF2-E4BA-4073-9CA6-4A28210EA6E2","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":"Q922539$21104002-59B2-4185-8159-8734BFE027DD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"70d2fbf8bcd48a5ca1ac752985098b379d0dbb65","datavalue":{"value":{"time":"+1990-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":"Q922539$212D6A46-761F-4E4F-8CD6-E29C22065DC2","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"c7197c1759d25f299fa93f63e5ba653e5b45ffa3","datavalue":{"value":"This paper assumes the Axiom of Determinateness and the Axiom of Dependent Choices \\((AD+DC)\\) and is concerned with questions about the possible lengths of well-ordered one-one sequences of sets of reals from a given pointclass, or of Suslin subsets of a Suslin cardinal \\(\\kappa\\). This question relates to various other questions, such as the GCH in HOD or the possible number of equivalence classes of an equivalence relation.    Suppose \\(\\kappa\\) is a Suslin cardinal which is either a successor cardinal or a regular limit cardinal. Then there is no strictly increasing sequence of \\(\\kappa\\)-Suslin sets of length \\(\\kappa^+\\). This corrects a theorem of \\textit{S. Jackson} and \\textit{D. A. Martin} [Cabal Semin. 79-81, Lect. Notes Math. 1019, 56-66 (1983; Zbl 0529.03029)], and an ammended proof is given here.    For such \\(\\kappa\\), let \\(\\Gamma_{\\kappa}\\) be the least pointclass for which there is a \\(\\kappa^+\\) increasing sequence. This \\(\\Gamma_{\\kappa}\\) is shown to be closed under negation and under countable unions of intersections. Stronger results follow if \\(\\kappa\\) satisfies a partition property, the clopen strong partition property, introduced by Martin; and several further results and conjectures are given.","type":"string"},"datatype":"string"},"type":"statement","id":"Q922539$78AB6030-86B0-4B01-AA7D-644703B5081C","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"60e1c50a12225fa0425a72d127f818b350eae229","datavalue":{"value":{"entity-type":"item","numeric-id":752714,"id":"Q752714"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q922539$7E2EF643-D4C4-4C56-B25F-91F4F25B4EA5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"1d0fbfdd56746b1fac4d86fe54b6e7e79ffa6e12","datavalue":{"value":"03E60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q922539$C1A12079-9864-40F5-9070-144895F52A7C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0ab04f9dd9375af29a8f22908ac0a9d1e0d09d21","datavalue":{"value":"4168673","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q922539$FB88BCBD-35E6-4CCB-ABBA-96E5136D2AA6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8cc4713593af35dc9d457c7690922a77d21dd4b9","datavalue":{"value":"Axiom of Determinateness","type":"string"},"datatype":"string"},"type":"statement","id":"Q922539$3BB22BB9-EBE2-438E-ABF3-89179636088C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1dcf2f73e8f142b52ad2a1ca591020c992e4bbc1","datavalue":{"value":"Axiom of Dependent Choices","type":"string"},"datatype":"string"},"type":"statement","id":"Q922539$458DEAA4-B6FD-4465-AE96-DE2409A0C6D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6817b056f6de3d5440231bbfd548a114e639cda0","datavalue":{"value":"possible lengths of well-ordered one-one sequences of sets of reals","type":"string"},"datatype":"string"},"type":"statement","id":"Q922539$6E71A49F-55B0-4360-A9A9-9D6691AFDFBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bcdbe61baad1f2534772c8d853ba3cad470dd269","datavalue":{"value":"Suslin subsets of a Suslin cardinal","type":"string"},"datatype":"string"},"type":"statement","id":"Q922539$B99F6B45-1882-47FF-887A-747D4E37D580","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":"Q922539$D8317C7A-3F94-43C8-BCBC-D060BF8BD8C7","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"05d7a4c999a220971c140d7083e6f8b643839ab4","datavalue":{"value":{"entity-type":"item","numeric-id":3950554,"id":"Q3950554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q922539$B141F269-C53A-4484-B87E-82CA7611CD4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cefdfcbd1d16b44828b06eac69697126672f7f3e","datavalue":{"value":{"entity-type":"item","numeric-id":3671147,"id":"Q3671147"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q922539$E42B201D-367B-423B-8B38-C416BAFD3785","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed86d3992d92c7cf0b145d9c734ebaf16602631c","datavalue":{"value":{"entity-type":"item","numeric-id":3832562,"id":"Q3832562"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q922539$63BB6F83-FAD8-4BA0-9187-1A26CE4BCC56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e9d9f6db91589e4414eee1d9bbaddac39776f153","datavalue":{"value":{"entity-type":"item","numeric-id":3310609,"id":"Q3310609"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q922539$516D3A5D-C2CF-43EF-94E9-7A9E82697C8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d86a116c576d7a1d04aa4d943b41574bc88625a","datavalue":{"value":{"entity-type":"item","numeric-id":3893920,"id":"Q3893920"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q922539$17E9D127-4594-4EBC-AD1F-105F0BBBD4BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0cf5736029a495fbaae2e64834b20425bf1b3ad0","datavalue":{"value":{"entity-type":"item","numeric-id":3944600,"id":"Q3944600"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q922539$205315C3-2C86-40A0-9DF8-DADCF7E0B022","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"534d70944205072081b29ca3fadc494fbed1b28a","datavalue":{"value":{"entity-type":"item","numeric-id":3872448,"id":"Q3872448"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q922539$F638C0BA-D236-4575-8DE2-F05C43BCFA64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb1cfe61f217ec4308ee9857205df96d97e38c1a","datavalue":{"value":{"entity-type":"item","numeric-id":3607635,"id":"Q3607635"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q922539$5BFD9156-04B6-4E2D-8CE6-C0C930576D5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"39ffed035003a07fe22ab4edff0f17bdfdb93781","datavalue":{"value":{"entity-type":"item","numeric-id":1139038,"id":"Q1139038"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q922539$9DA4C734-6858-4E5A-AC14-B99E30686956","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"032345a310af6b35cf58883f023148d7b0ebc6a4","datavalue":{"value":{"entity-type":"item","numeric-id":1838942,"id":"Q1838942"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q922539$7A4A8F12-6581-499D-90D7-2C426054F78F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1252dc27672eca666ab1dcb2402ecdf34a468d70","datavalue":{"value":{"entity-type":"item","numeric-id":3960840,"id":"Q3960840"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q922539$578880E5-8A69-44D6-9D87-D9301DA55588","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bcf9447082f70ec56127c92d89a82e3f624d2fa6","datavalue":{"value":{"entity-type":"item","numeric-id":3502757,"id":"Q3502757"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d591aec687369895d5868626ba3b2ff2dff860bb","datavalue":{"value":{"amount":"+0.7342464","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q922539$AADCACB6-E4FC-4E9C-8162-AE41784A49A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"040d0ef628cd7c4c34dfe98f1763ffe0e241f901","datavalue":{"value":{"entity-type":"item","numeric-id":4650262,"id":"Q4650262"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a8d6cb372257a5a2c266e69a33a098c929ae33ab","datavalue":{"value":{"amount":"+0.70895576","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q922539$F44023C7-4595-4A32-9603-5936D9E95350","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"de87b474d2c26fc304abffdd1c9b28d6ecfce0c1","datavalue":{"value":{"entity-type":"item","numeric-id":1288487,"id":"Q1288487"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4a21bdc8bbeaefad7cd4927587580c5babfe0978","datavalue":{"value":{"amount":"+0.707835","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q922539$BA91250B-F403-4763-A682-9C9584D72745","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"46f15b6db4b8af4d45819778bf4801ead90212d9","datavalue":{"value":{"entity-type":"item","numeric-id":6140184,"id":"Q6140184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"79d7db4969baeaf95fa17604c86cb6ade7136636","datavalue":{"value":{"amount":"+0.7014431","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q922539$2A3D273D-ACB9-4E42-A688-995775BD6AB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"782856f9632f82039acd37c626f1e8ff78bea417","datavalue":{"value":{"entity-type":"item","numeric-id":1771919,"id":"Q1771919"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ce2dd05eb3836c17940c0542a9379d7cba548942","datavalue":{"value":{"amount":"+0.7008169","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q922539$6E201E45-8531-498C-B1B5-73E2CC617B9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2397e4908f7fae8e63173e25f302bc9a7c5c41d1","datavalue":{"value":{"entity-type":"item","numeric-id":1906673,"id":"Q1906673"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5aa349b14f24769bdda5c5fe29b52150944cae42","datavalue":{"value":{"amount":"+0.6984418","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q922539$FEADAC31-38A2-46E5-9B12-80E9F0C9FFE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3d94fa9f03e38b2538c4a8e904dc5eefd9fd553b","datavalue":{"value":{"entity-type":"item","numeric-id":2493913,"id":"Q2493913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"59c70f3d267e6b141381009be7ce3a998b6cf951","datavalue":{"value":{"amount":"+0.69533706","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q922539$A81DB080-AA40-4342-A1C5-2CDE8E83903D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ea7036321398eaac3d42666a1707d6d526ecf5d9","datavalue":{"value":{"entity-type":"item","numeric-id":2352255,"id":"Q2352255"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"19fae3e1bf706ee52421921da0e06419b9c86bfc","datavalue":{"value":{"amount":"+0.69066954","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q922539$5D09A539-D2F8-415F-8EE5-44A82B084641","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6b462086a14935f76dd8418e886eb0e6d02a45e5","datavalue":{"value":{"entity-type":"item","numeric-id":4895457,"id":"Q4895457"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f6f8a626901d736d1c771ad2037318d788561473","datavalue":{"value":{"amount":"+0.6893591","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q922539$456C0EC3-4B3D-4E1F-9FEB-603C9390D20D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5b459707e0432320c6efb415bc22a77c0087e43b","datavalue":{"value":{"entity-type":"item","numeric-id":1731564,"id":"Q1731564"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"230c7b794f8d355c35f85b88319ae057a70c5176","datavalue":{"value":{"amount":"+0.68544775","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q922539$1D90CF1B-AC01-443A-BC72-98F119DF4F1F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Partition properties and well-ordered sequences","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Partition_properties_and_well-ordered_sequences"}}}}}