Wadge degrees of Δ20 omega-powers
We provide, for each natural number and each class among D-n(Sigma(0)(1)), D-n(Sigma(0)(1)), D2n+1(Sigma(0)(1))circle plus D2n+1(Sigma(0)(1)), a regular language whose associated omega‐power is complete for this class.
Saved in:
Published in | Mathematical logic quarterly |
---|---|
Main Authors | , |
Format | Journal Article |
Language | English |
Published |
Wiley
06.09.2024
|
Subjects | |
Online Access | Get full text |
Cover
Loading…
Abstract | We provide, for each natural number and each class among D-n(Sigma(0)(1)), D-n(Sigma(0)(1)), D2n+1(Sigma(0)(1))circle plus D2n+1(Sigma(0)(1)), a regular language whose associated omega‐power is complete for this class. |
---|---|
AbstractList | We provide, for each natural number and each class among D-n(Sigma(0)(1)), D-n(Sigma(0)(1)), D2n+1(Sigma(0)(1))circle plus D2n+1(Sigma(0)(1)), a regular language whose associated omega‐power is complete for this class. |
Author | Finkel, Olivier Lecomte, Dominique |
Author_xml | – sequence: 1 givenname: Olivier orcidid: 0000-0002-6461-2941 surname: Finkel fullname: Finkel, Olivier organization: Institut de Mathématiques de Jussieu - Paris Rive Gauche – sequence: 2 givenname: Dominique surname: Lecomte fullname: Lecomte, Dominique organization: Institut de Mathématiques de Jussieu - Paris Rive Gauche |
BackLink | https://hal.science/hal-04704342$$DView record in HAL |
BookMark | eNotjc1Kw0AUhQepYFrdug7uXEy9d34yM8tStBUC3VRchsnkNq0knZoRxffwuXwmI7o6nI_Dd6ZscoxHYuwaYY4A4q733etcgFAwNnXGMtQCubQGJiwDpwTXBRYXbJrSyzjRaCBjN8--aSlvqB2IUh53-feXgDz21Hp-ih80pEt2vvNdoqv_nLGnh_vtcs3LzepxuSj5HtG98QKxCGr8J1dbMCYgSbLCWqKGoPA6BONkHRoJWqE32iEZVVtpau-k0nLGbv-8e99Vp-HQ--Gziv5QrRdl9ctAGVBSiXeUPzDDQvk |
ContentType | Journal Article |
Copyright | Distributed under a Creative Commons Attribution 4.0 International License |
Copyright_xml | – notice: Distributed under a Creative Commons Attribution 4.0 International License |
DBID | 1XC |
DOI | 10.1002/malq.202400024 |
DatabaseName | Hyper Article en Ligne (HAL) |
DatabaseTitleList | |
DeliveryMethod | fulltext_linktorsrc |
Discipline | Mathematics |
EISSN | 1521-3870 |
ExternalDocumentID | oai_HAL_hal_04704342v1 |
GroupedDBID | --Z -~X .3N .GA 05W 0R~ 10A 123 1L6 1OB 1OC 1XC 1ZS 33P 3SF 3WU 4.4 4ZD 50Y 50Z 51W 51X 52M 52N 52O 52P 52S 52T 52U 52W 52X 5VS 66C 702 7PT 8-0 8-1 8-3 8-4 8-5 8UM 930 A03 AAESR AAEVG AAHHS AAHQN AAMNL AANLZ AAONW AAXRX AAZKR ABCQN ABCUV ABDBF ABIJN ACAHQ ACCFJ ACCZN ACGFS ACIWK ACPOU ACXBN ADBBV ADEOM ADIZJ ADKYN ADOZA ADXAS ADZMN AEEZP AEIGN AEIMD AENEX AEQDE AEUYR AEYWJ AFBPY AFFPM AGHNM AGYGG AHBTC AITYG AIURR AIWBW AJBDE AJXKR ALAGY ALMA_UNASSIGNED_HOLDINGS ALUQN ALVPJ AMBMR AMYDB ATUGU AUFTA AZBYB AZVAB BAFTC BFHJK BHBCM BMNLL BNHUX BROTX BRXPI BY8 CS3 D-E D-F DCZOG DPXWK DR2 DRFUL DRSTM DU5 EBS ESX F00 F01 F04 G-S G.N GNP GODZA H.T H.X HBH HGLYW HHY HZ~ IX1 J0M JPC KQQ LATKE LAW LC2 LC3 LEEKS LH4 LITHE LOXES LP6 LP7 LUTES LYRES MEWTI MK4 MRFUL MRSTM MSFUL MSSTM MXFUL MXSTM N04 N05 N9A NF~ NNB O66 O9- P2P P2W P2X P4D Q.N Q11 QB0 QRW R.K ROL RX1 SUPJJ TN5 UB1 V2E W8V W99 WBKPD WH7 WIH WIK WOHZO WQJ WXSBR WYISQ WZISG XG1 XPP XV2 ZZTAW ~IA ~WT |
ID | FETCH-LOGICAL-h119t-6116c4202e9b8077c1e3e8288eede06a5cc793bcd30541a7591e74b837ba93453 |
ISSN | 0942-5616 |
IngestDate | Fri May 09 12:20:03 EDT 2025 |
IsPeerReviewed | true |
IsScholarly | true |
Keywords | Hierarchy Set |
Language | English |
License | Distributed under a Creative Commons Attribution 4.0 International License: http://creativecommons.org/licenses/by/4.0 |
LinkModel | OpenURL |
MergedId | FETCHMERGED-LOGICAL-h119t-6116c4202e9b8077c1e3e8288eede06a5cc793bcd30541a7591e74b837ba93453 |
ORCID | 0000-0002-6461-2941 |
ParticipantIDs | hal_primary_oai_HAL_hal_04704342v1 |
PublicationCentury | 2000 |
PublicationDate | 2024-09-06 |
PublicationDateYYYYMMDD | 2024-09-06 |
PublicationDate_xml | – month: 09 year: 2024 text: 2024-09-06 day: 06 |
PublicationDecade | 2020 |
PublicationTitle | Mathematical logic quarterly |
PublicationYear | 2024 |
Publisher | Wiley |
Publisher_xml | – name: Wiley |
SSID | ssj0005170 |
Score | 2.3167353 |
Snippet | We provide, for each natural number and each class among D-n(Sigma(0)(1)), D-n(Sigma(0)(1)), D2n+1(Sigma(0)(1))circle plus D2n+1(Sigma(0)(1)), a regular... |
SourceID | hal |
SourceType | Open Access Repository |
SubjectTerms | Mathematics |
Title | Wadge degrees of Δ20 omega-powers |
URI | https://hal.science/hal-04704342 |
hasFullText | 1 |
inHoldings | 1 |
isFullTextHit | |
isPrint | |
link | http://utb.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwnV3JTsMwELUQXOCAWMWuqIITSrEdZztWXVSgLIJW9FbZrk2RSstSOPAdfBffxNhJk1bqoXCJIieKnHnR5M3Y8wah40gDyWA6drVUkcuo7rqRyTZhHdGuioWm2gSKV9dBvcUu2n47b3lpq0tGoii_ZtaV_AdVGANcTZXsH5DNHgoDcA74whEQhuNcGD9wU2zVVRAzJ9qxJ-XqScwoPh0-q0fuvtgWaJP88ypTaQVorNszZZXT2zprEJ4ma_c3_Sfz28w37cBLJO30KkOjSZJs2M6yBpTZbVHBtG-aTAYyCEkDkopSp66QEqO8i2c62kS49Zn3X4vm8caxsvyXMl5Gr5fuO7eVWqdxfn05fTWTtq6XGp0eWB6zEDOP0U8IZZcocH4bH9_lWmA-sZ3_sqmOFTgxPZueBrCE3jgrbllCcw2tpvTeKSVYraMFNdhAK7nV3zdRwaLmpKg5Q-38fFPsTCK2hVq1arNcd9NOFW6PkHgE8TcJJKBL4euOcBhKojwFsWwEDEThgPtSgh8UsgvelREe-jFRIRORFwoee8z3ttHiYDhQO8jxPIVlzCkRXLMwFEJoHSsFNAp7WnK5iwrGXC-JFklntgn35rlpHy3nX8YBWhy9fahDYFgjcWQt_wuCrCPR |
linkProvider | Wiley-Blackwell |
openUrl | ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.genre=article&rft.atitle=Wadge+degrees+of+%CE%9420+omega-powers&rft.jtitle=Mathematical+logic+quarterly&rft.au=Finkel%2C+Olivier&rft.au=Lecomte%2C+Dominique&rft.date=2024-09-06&rft.pub=Wiley&rft.issn=0942-5616&rft.eissn=1521-3870&rft_id=info:doi/10.1002%2Fmalq.202400024&rft.externalDBID=HAS_PDF_LINK&rft.externalDocID=oai_HAL_hal_04704342v1 |
thumbnail_l | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/lc.gif&issn=0942-5616&client=summon |
thumbnail_m | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/mc.gif&issn=0942-5616&client=summon |
thumbnail_s | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/sc.gif&issn=0942-5616&client=summon |