{"entities":{"Q509610":{"pageid":511377,"ns":120,"title":"Item:Q509610","lastrevid":62373030,"modified":"2026-04-11T05:38:56Z","type":"item","id":"Q509610","labels":{"en":{"language":"en","value":"Indiscernible extraction and Morley sequences"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6686422"}},"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":"Q509610$BBA8DD92-EF53-4944-B88E-B9237A3BCD01","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fa918e8e02a7f62660f7c1d72b888a1d0de35321","datavalue":{"value":{"text":"Indiscernible extraction and Morley sequences","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q509610$D583775F-9E71-4AB2-ADCD-791D7C8A9AEB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6496cd3dd5c530620a0ceea37c51e119c75324b1","datavalue":{"value":"1397.03051","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q509610$E39F2925-926C-48F7-87AA-F5464D941E2E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"257d1f2898a798dae059768adc52a14cf9a2f05a","datavalue":{"value":"10.1215/00294527-3800865","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q509610$888E0B57-5C97-4147-BF9D-ED3EBBF5A710","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f40e8c1b8416eeea0eddcc1484d48b078cb2dbdb","datavalue":{"value":{"entity-type":"item","numeric-id":272986,"id":"Q272986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q509610$7FDF1E14-AB20-4150-8652-86919538E89D","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":"Q509610$0D8254FA-29DC-428D-96C2-E5E4600C5122","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3a051f678ce9f4f7380cf2de9c6018ea50fabc5c","datavalue":{"value":{"time":"+2017-02-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q509610$873B4E07-34B7-4094-AD86-B8C18130BCEF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b47c9dac47cf21b5e33cc3086878d6526c729ed3","datavalue":{"value":"https://arxiv.org/abs/1403.5763","type":"string"},"datatype":"url"},"type":"statement","id":"Q509610$05C0C50B-62FD-4638-8A0A-BE4CC824155B","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"c1c51a6d311c89d69b2bacd01b64e8e58213d4d7","datavalue":{"value":"The author gives a new proof of the existence of Morley sequences in simple theories. Instead of building a very large independent sequence first and then using the Erd\u0151s-Rado theorem together with Morley's method, he only uses Ramsey's theorem and compactness.   The construction relies on a property of forcing, called by the author dual finite character. He answers a question asked by \\textit{R. Grossberg} et al. [Arch. Math. Logic 41, No. 6, 541--580 (2002; Zbl 1024.03029)] and \\textit{J. T. Baldwin} [``How big should the monster model be?'', in: Logic without borders. Essays on set theory, model theory, philosophical logic and philosophy of mathematics. Berlin: De Gruyter. 30--51 (2015; \\url{doi:10.1515/9781614516873.31})] .","type":"string"},"datatype":"string"},"type":"statement","id":"Q509610$06CE0AE1-50DC-42A6-8F97-2A82154A9615","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"72d629dee104d470ea1a2d2922a2117edf0da3ae","datavalue":{"value":{"entity-type":"item","numeric-id":587432,"id":"Q587432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q509610$2F0ECDF6-73AB-4FD7-980D-50803D0EA924","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ab5d1284da7b6135f2165359448a9dc6cb04c9a7","datavalue":{"value":"03C45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q509610$18B08287-DF38-42D2-8DC2-99B2C8FD4B18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"13841f0b96793f178ce9a7dcac9f232220625aee","datavalue":{"value":"03B30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q509610$3BB19835-6284-49BA-84E5-2FC7871419EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ef68bb45cd2d5821c75b5f0eeb710e1b0eda186e","datavalue":{"value":"03E02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q509610$27F30418-1173-4FE6-A789-4507724852CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d76b54ca3ec41228d05d0d48b5373554ccc0dcb3","datavalue":{"value":"03E30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q509610$844DEDE1-88E2-44D9-AB57-D94FEEA28008","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"33f648cdfe76d3dbfc8076a917575f55ab349f5d","datavalue":{"value":"6686422","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q509610$048F6667-A42F-41A6-92FD-D35A84397614","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"17a1f0da3b3a9ceea147f0137c46e4c4cdaa2bea","datavalue":{"value":"forking","type":"string"},"datatype":"string"},"type":"statement","id":"Q509610$493C9003-B9EC-4274-8CE6-15FA85A62AF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"465247c081db3aab43d59ac01348fcfc6d56ba9a","datavalue":{"value":"Morley sequences","type":"string"},"datatype":"string"},"type":"statement","id":"Q509610$3B37D7D3-0775-4BEF-B94B-A689F2A0D3AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"abed868baa2030654e4fdef66fb8d8296d55a1a3","datavalue":{"value":"dual finite character","type":"string"},"datatype":"string"},"type":"statement","id":"Q509610$CCFF1CF7-2BBE-4B94-A281-4E63F6DD94E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2a002ca125446c6082468e412e2610ec94387b21","datavalue":{"value":"simple theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q509610$93C1C53F-892E-4F71-A63E-C044DF735EAE","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":"Q509610$FA0125DD-BCB2-470C-9449-FEB511AEFB93","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8969d890e81c173435e3723f641e1e0ad9bce70c","datavalue":{"value":"W1565601160","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q509610$63C8F721-2F53-42C2-8319-CBFFEFFFEBCB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"84a63d6a1d375c2fc16662fe9d03f944b696a24d","datavalue":{"value":{"entity-type":"item","numeric-id":4434502,"id":"Q4434502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a69e3d1c629bca9ef14120667be2381fd82279f6","datavalue":{"value":{"amount":"+0.7287298440933228","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":"Q509610$8C3806CB-8F25-4007-B47F-1DD99D54821D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aba5dfad7c9b245b580fac3a0ab4ff0e35808d1e","datavalue":{"value":{"entity-type":"item","numeric-id":3495346,"id":"Q3495346"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3b6aa49b6c566c8e450f6c53d0a7314495260c9c","datavalue":{"value":{"amount":"+0.7227427363395691","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":"Q509610$D645C7A4-47CC-4F3D-8384-F40988E8CA7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9da237158f45e3b155baa66e75bba46045b262eb","datavalue":{"value":{"entity-type":"item","numeric-id":3315494,"id":"Q3315494"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b57c3c5c1285d99e30c17207b7fc5661b4b6d59e","datavalue":{"value":{"amount":"+0.7223187685012817","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":"Q509610$869F4D0C-722B-4002-B2C9-479EA19DEE8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"48beb0dea6654c8021f4247c82ea64b721c0083b","datavalue":{"value":{"entity-type":"item","numeric-id":1377641,"id":"Q1377641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e3ae64c3e9086089cf8457edebba7b5e82907b28","datavalue":{"value":{"amount":"+0.7169206142425537","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":"Q509610$5FC47C79-FF93-400A-BDD2-863B323F92EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bb1d29a33d5162188e8c830c4ed3f7db883b4589","datavalue":{"value":{"entity-type":"item","numeric-id":466122,"id":"Q466122"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e3ae64c3e9086089cf8457edebba7b5e82907b28","datavalue":{"value":{"amount":"+0.7169206142425537","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":"Q509610$1D0E3546-9B39-4D8E-B6CF-BA088D95E496","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Indiscernible extraction and Morley sequences","badges":[]}}}}}