Wellfoundedness proof with the maximal distinguished set
Crossref DOI link: https://doi.org/10.1007/s00153-022-00840-8
Published Online: 2022-08-24
Published Print: 2023-05
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Arai, Toshiyasu
Text and Data Mining valid from 2022-08-24
Version of Record valid from 2022-08-24
Article History
Received: 23 November 2020
Accepted: 6 July 2022
First Online: 24 August 2022