{"entities":{"Q2732268":{"pageid":2743007,"ns":120,"title":"Item:Q2732268","lastrevid":47645458,"modified":"2026-01-02T07:27:51Z","type":"item","id":"Q2732268","labels":{"en":{"language":"en","value":"Wadge hierarchy and Veblen hierarchy. I: Borel sets of finite rank"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1623511"}},"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":"Q2732268$1615410A-50E1-498C-B8E1-CA55CB0E4A75","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"345886c7bd4d736236a1acda399e216014e14434","datavalue":{"value":"0979.03039","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2732268$9FB36810-48A9-45E2-8214-1B118DCDF02E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"dea82891e02b89771c9979c9e7c0b1f5c6af542a","datavalue":{"value":"10.2307/2694911","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2732268$DB9A4977-C2B6-4A9C-A728-6666D7FBB0D0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"aaca62a89e8cf5057f50c8ad93174fda71929504","datavalue":{"value":{"entity-type":"item","numeric-id":198152,"id":"Q198152"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2732268$0B693DAF-3989-45F5-BB5C-CAE7182DC181","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"63e1d7063ecd638677848b844accef77290c7ea4","datavalue":{"value":{"time":"+2002-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":"Q2732268$1449B81B-C2FC-49A4-98E0-C17EF147D517","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b3636caf529c49b2a7d814c7a65de2b21aedf761","datavalue":{"value":"03E15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2732268$38AF3DD8-0824-4364-901D-6B29CB58E687","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"510e330772fd04e754f6dc13a22280a9e1e62256","datavalue":{"value":"91A44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2732268$5ED7A1D8-F689-43EC-993C-85C05587314C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7487671b7eeee378fadaef00eaa736c3b799c944","datavalue":{"value":"1623511","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2732268$FEA11170-17C0-46A4-BB4C-86BFDC6E6591","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0631d513eb373a43e0673588c7032bbf7c618df8","datavalue":{"value":"Wadge degree","type":"string"},"datatype":"string"},"type":"statement","id":"Q2732268$9099C3CD-6920-443E-AE5D-1AB7A695AA06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cf05442f80fa063c31748d30e3c1d3c7bc394e62","datavalue":{"value":"Wadge hierarchy","type":"string"},"datatype":"string"},"type":"statement","id":"Q2732268$6222B54C-0538-4D6B-BD5D-2F8FA4BC30D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5c0b2740e4abfb1536ccc711432ed0dc2402c415","datavalue":{"value":"self-dual sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q2732268$D288D378-49E0-49F6-A18A-B15F2583661C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"af47dd0d79a1f58f2e4b3e8819f78e985cf685b3","datavalue":{"value":"Borel hierarchy","type":"string"},"datatype":"string"},"type":"statement","id":"Q2732268$B6F39D7F-4AD0-486F-96A4-B6086DE0E1DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1f2e337fb1d3e57a110ac65b14ceb7c2845fc6eb","datavalue":{"value":"Borel sets of finite rank","type":"string"},"datatype":"string"},"type":"statement","id":"Q2732268$C353D828-646A-4318-BF94-FAFADBF22BB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"702e0f09fd46f4ba42d2b868ba15e1601964ad57","datavalue":{"value":"Veblen hierarchy","type":"string"},"datatype":"string"},"type":"statement","id":"Q2732268$BCED4501-8780-45BC-BF15-3A4E0DADAE38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3b5c4e6c0ebea4378560914a6f08b3376f784157","datavalue":{"value":"ordinal addition","type":"string"},"datatype":"string"},"type":"statement","id":"Q2732268$BDDFD5BC-68C4-4512-AD38-93BCF1CF31AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"42d1c95d8b843099e0d0ce84890ad71cbc5164d6","datavalue":{"value":"ordinal multiplication","type":"string"},"datatype":"string"},"type":"statement","id":"Q2732268$5428F8D2-ED45-47B2-926C-B51CDF4EB5EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dc0149eb1341c6112cb35d1dcffd642876945571","datavalue":{"value":"ordinal exponentiation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2732268$9F02DC46-1F93-4924-A98B-02479E98EE1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"222fb503420a40bc310987dfed12f7c4fa71be08","datavalue":{"value":"Wadge game","type":"string"},"datatype":"string"},"type":"statement","id":"Q2732268$2E3EEEF8-0963-4989-B791-FCD197C327B2","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":"Q2732268$22858AE3-5575-4A7B-BA8B-6E8A66F9AF38","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1d2fd9320b291e543dfe4059e12440c098ae35e3","datavalue":{"value":"https://doi.org/10.2307/2694911","type":"string"},"datatype":"url"},"type":"statement","id":"Q2732268$BCBF7A7B-7B56-439B-BD5C-97EFF567F9A6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"bef2e4b9bf5bda54b10d939a874dbee6eacd7b56","datavalue":{"value":"W1974868602","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2732268$55A43351-9EA1-4767-A122-8492C5D7D00A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"da8e8cc36d2b41104889e91dde28a77d4c70be46","datavalue":{"value":{"entity-type":"item","numeric-id":1229718,"id":"Q1229718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2732268$219A3530-6425-425E-B725-246216995868","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9ac66987a592ad804d08b42019670d1513482179","datavalue":{"value":{"text":"Wadge hierarchy and Veblen hierarchy. I: Borel sets of finite rank","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2732268$97FB4C41-BE88-4EE8-92F7-967D7494255C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"cd9ebe56ec423ec5335930a0b1a45ca7ae3b5c0f","datavalue":{"value":{"entity-type":"item","numeric-id":6768298,"id":"Q6768298"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2732268$7383CCA9-E322-409B-83D9-9EFC60D5C5F1","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"e476f2fe661c555b003071f952266d21fbfbf87b","datavalue":{"value":"Assume \\(\\Lambda\\) is a set of size less than some uncountable regular cardinal \\(\\kappa\\). Given \\(A , B \\subseteq \\Lambda^\\omega\\), say that \\(A\\) is Wadge reducible to \\(B\\), \\(A \\leq_W B\\) in symbols, if there is a continuous function \\(f: \\Lambda^\\omega \\to \\Lambda^\\omega\\) such that \\(A = f^{-1} (B)\\). If \\(A \\leq_W B \\leq_W A\\), call \\(A\\) and \\(B\\) Wadge equivalent and write \\(A \\equiv_W B\\). Martin proved \\(\\leq_W\\) is wellfounded on the Borel sets. Recursively define the Wadge degree of a Borel set by \\(d_W (\\emptyset) = d_W (\\omega^\\omega) = 0\\) and \\(d_W (A) = \\sup \\{ d_W (B) + 1 ; B <_W A \\}\\). Wadge's Lemma says two Borel sets \\(A, B\\) have the same degree iff either \\(A \\equiv_W B\\) or \\(A \\equiv_W \\Lambda^\\omega \\setminus B\\). A set \\(A\\) is self-dual if \\(A \\equiv_W \\Lambda^\\omega \\setminus A\\). The Wadge degree is a measure of the complexity of a Borel set much finer than Borel rank, and height in the Wadge hierarchy is related to the Veblen hierarchy of fast increasing ordinal functions. It is known that a Borel set has finite rank iff its Wadge degree is less than \\({}^\\kappa \\epsilon_0\\), the first fixpoint of the exponentiation with base \\(\\kappa\\). NEWLINENEWLINENEWLINEThe author provides a recursive construction of a canonical Borel set of degree \\(\\alpha\\) where \\(\\alpha < {}^\\kappa \\epsilon_0\\). This is achieved by concentrating on non self-dual sets, because a self-dual set of a given degree can be easily obtained from non self-dual sets of smaller degree, and by defining analogues, for Borel sets of finite rank, of the three operations ordinal addition, multiplication by an ordinal \\(< \\kappa\\), and exponentiation with base \\(\\kappa\\). The arguments make heavy use of the Wadge game.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2732268$013B6DDB-E063-4C8D-96B0-569CCCA30B64","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1bbbdbe27bb1f1268f9591d165b52f3aa0c95009","datavalue":{"value":{"entity-type":"item","numeric-id":3342576,"id":"Q3342576"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2e28d057f790f73e942b969871dbee8105c15ca2","datavalue":{"value":{"amount":"+0.838715672492981","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":"Q2732268$E580DBF9-9361-4300-802D-CB0B155B10B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3f803ee06b7adc6d7bdefc916ad7f94c124ac084","datavalue":{"value":{"entity-type":"item","numeric-id":4425141,"id":"Q4425141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ba21e634d61ae1c48939c0bc5a763d0626f8e493","datavalue":{"value":{"amount":"+0.8315358757972717","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":"Q2732268$FDB32D19-D806-4AB8-89B1-63C02B764734","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3be12dede5b02173a01ea4b50f71e601b4eedadc","datavalue":{"value":{"entity-type":"item","numeric-id":3318768,"id":"Q3318768"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8795682b6d69cf1a0456e4eb23d6f63ac4c1a964","datavalue":{"value":{"amount":"+0.8256147503852844","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":"Q2732268$B5789D0A-74CD-4C6C-9B13-BBECEDAAC5AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0a8f689a5679069d837d704bced4e7b7f338212a","datavalue":{"value":{"entity-type":"item","numeric-id":4462679,"id":"Q4462679"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"044f2b52c005d162b2a512b1fbae56ce5d00e3ad","datavalue":{"value":{"amount":"+0.8125641345977783","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":"Q2732268$62956D06-D877-4E8D-9B4D-10DCE71D381C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9e4b611ce94c8e20478befc98deef1831e185d56","datavalue":{"value":{"entity-type":"item","numeric-id":3358728,"id":"Q3358728"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fef41a5bcc1e9ad4edbabd84edb0745ee8ab594b","datavalue":{"value":{"amount":"+0.8097689151763916","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":"Q2732268$B844BD94-F9C5-48F0-868E-119C2BA64A0F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2732268","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2732268"}}}}}