Ordinal analysis and the set existence property for intuitionistic set theories
Crossref DOI link: https://doi.org/10.1098/rsta.2022.0019
Published Online: 2023-04-10
Published Print: 2023-05-29
Update policy: https://doi.org/10.1098/crossmark-policy
Rathjen, Michael https://orcid.org/0000-0003-1699-4778
Text and Data Mining valid from 2023-04-10
Publication History
Received: 2022-07-31
Accepted: 2022-12-13
Published: 2023-04-10
