{"entities":{"Q757267":{"pageid":759116,"ns":120,"title":"Item:Q757267","lastrevid":64242345,"modified":"2026-04-11T18:34:14Z","type":"item","id":"Q757267","labels":{"en":{"language":"en","value":"Threshold spectra via the Ehrenfeucht game"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4191443"}},"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":"Q757267$7599248F-5434-420E-9BD7-7B443384E73A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"440204ecabaeb395c6d4361eafcc5355e6c1278a","datavalue":{"value":{"text":"Threshold spectra via the Ehrenfeucht game","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q757267$AEA26EB5-52A4-449F-8DC6-B11844188CD7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2f864855be86794c82885a5c36048c0f6c0647e4","datavalue":{"value":"0722.90095","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q757267$D70AFC7C-3FBB-4329-A8F0-D67F53885F77","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2ad46818d1601c210603116331f61842c7444f36","datavalue":{"value":"10.1016/0166-218X(91)90048-2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q757267$AC996D55-E504-4B8D-9A17-D5AE5B8C4753","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"087f55844cc920aae060b09644168bf17b022e1a","datavalue":{"value":{"entity-type":"item","numeric-id":96294,"id":"Q96294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q757267$D077E616-1BAF-40FD-B97B-869488C4ABA5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"391107ffc7a24346d69c573e292e4ff4587e3aaa","datavalue":{"value":{"time":"+1991-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":"Q757267$4916C9AE-CDD1-43B0-84E5-4AB7667B11FE","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"029a626a5f21b28b49788fc78bd5e242cdc663ae","datavalue":{"value":"This author with Saharon Shelah has shown that the random graph G(n,p) with \\(p=n^{-\\alpha}\\), \\(\\alpha\\) irrational, satisfies the Zero-One Law - every first order sentence A holds with probability approaching zero or one.    Here a general connection is made between Zero-One Laws and the Ehrenfeucht game - to prove a Zero-One Law it suffices to find a strategy for dublicator that almost always wins on two random structures. The result is then reproved, with copious examples, by giving such a strategy. Further the threshold spectrum Sp(A) is defined, roughly, as those \\(\\alpha\\) for which the Zero-One Law does not hold for \\(p=n^{- \\alpha +0(1)}\\). The proof is refined to show that Sp(A) is a well-ordered (under \\(>)\\) set of rational numbers of order type less than \\(\\omega^{\\omega}\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q757267$0AF03802-BC82-4202-9226-8C8740C45D54","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"51140ae2bebd38d405ad1731d3b61ebf4b26c4ac","datavalue":{"value":"91A43","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q757267$1B5A687B-E0D5-4F95-85C5-2A2B5B4406C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4dd6b8847e09c706889ad9ef05dc0040f1c9f982","datavalue":{"value":"05C80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q757267$1345111A-C372-4369-B976-B0681C8E4C58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b98cb7058a1e8e644c33a49a426b651c0e594493","datavalue":{"value":"91A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q757267$A96F7284-BD85-4EE9-A7CB-4635670B0683","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"adcbb2c1d3ebe0b266db3524101e35ee763ac0a1","datavalue":{"value":"4191443","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q757267$50093555-E454-4633-8450-9D329D0470EE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7aba604df6908c50b0ebe9685b4bc52174a41186","datavalue":{"value":"Zero-One Law","type":"string"},"datatype":"string"},"type":"statement","id":"Q757267$167D7058-8A05-4567-ACDB-13A811A32846","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f66ac1238aba41ed60334d6cbd0154ced56b0bfd","datavalue":{"value":"Ehrenfeucht game","type":"string"},"datatype":"string"},"type":"statement","id":"Q757267$2F1AB0AA-7948-474A-8E43-72C7F4219CF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"773e58b7a2157c918d538972f804792f28f52f6c","datavalue":{"value":"threshold spectrum","type":"string"},"datatype":"string"},"type":"statement","id":"Q757267$C81AB459-86D9-45EE-BB96-AA0A36830219","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d5614d963e1142d1d3e84430bb23fe04069b1019","datavalue":{"value":{"entity-type":"item","numeric-id":590239,"id":"Q590239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q757267$B435F0F7-FEB7-464E-A373-C290C61F9E9C","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":"Q757267$7CC12350-CA99-4809-8D45-EE8634803D71","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a740b6e9e652b2fb5fe827ec941309ed6af62f7","datavalue":{"value":{"entity-type":"item","numeric-id":4108321,"id":"Q4108321"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q757267$462963EE-730E-4473-A0BA-616A39E82ED3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"977f79e25621a7cdd24d8b5a4dba4b34a561a0aa","datavalue":{"value":{"entity-type":"item","numeric-id":3791190,"id":"Q3791190"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q757267$E9DF0388-CD8C-4FFE-B87B-D0E7AE123218","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a3f92e6a160860e4652de61f8555772ba112fe9","datavalue":{"value":{"entity-type":"item","numeric-id":810048,"id":"Q810048"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q757267$475070DF-2A45-4AEC-8786-44EEA1530AE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d7645417c6b9a9d3537fd0be9fc0136de2571c25","datavalue":{"value":{"entity-type":"item","numeric-id":2640616,"id":"Q2640616"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q757267$F6E4688E-FE22-4D54-800F-9355F1F1B3CA","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"c03c2c0a63a31db4dc85ee99782e028fc11e4e07","datavalue":{"value":"Q127740781","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q757267$3E62F1E1-7166-4FFB-9331-450BBFE63B00","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"69ff0c8d275fa3b8d036c33908e67b3e2218a108","datavalue":{"value":{"entity-type":"item","numeric-id":4605739,"id":"Q4605739"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ac9abf4315470dbc0950f80fd7ff3e054a7608b9","datavalue":{"value":{"amount":"+0.832865297794342","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":"Q757267$989A57B9-E3F8-423E-9613-6C0559A35484","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"207fe056e5e320e79470f12afca3ce67f4a40944","datavalue":{"value":{"entity-type":"item","numeric-id":5928572,"id":"Q5928572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7695534a90d8e08e2d81f5981c2a76f9c55bff53","datavalue":{"value":{"amount":"+0.8298893570899963","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":"Q757267$A370F926-C055-4236-B326-1B3CD5BA90B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c96b1a761bd6189248b14860c355e194378aa6a2","datavalue":{"value":{"entity-type":"item","numeric-id":3977083,"id":"Q3977083"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7695534a90d8e08e2d81f5981c2a76f9c55bff53","datavalue":{"value":{"amount":"+0.8298893570899963","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":"Q757267$D72D4233-3B1E-46D7-B6C6-436D40311071","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"de54eeb900435a10eb014adcadc07ac1493e65ad","datavalue":{"value":{"entity-type":"item","numeric-id":267173,"id":"Q267173"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9b7658d22cb950d209cbce36960b9a993a57ffc1","datavalue":{"value":{"amount":"+0.826644241809845","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":"Q757267$D7F3B0E8-3E34-44F2-8895-6CB97125D7D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ffab3188b9a819a86456c52dd2b1b66a09607ff0","datavalue":{"value":{"entity-type":"item","numeric-id":2404855,"id":"Q2404855"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9ef5ac3fe1c4d8348a5862391e26ca83831f28a5","datavalue":{"value":{"amount":"+0.8224740028381348","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":"Q757267$4E8EDDC1-716E-439B-B324-E261D7AAE151","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Threshold spectra via the Ehrenfeucht game","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Threshold_spectra_via_the_Ehrenfeucht_game"}}}}}