A topological completeness theorem for transfinite provability logic
Crossref DOI link: https://doi.org/10.1007/s00153-023-00863-9
Published Online: 2023-02-22
Published Print: 2023-07
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Aguilera, Juan P. http://orcid.org/0000-0002-2768-6714
Funding for this research was provided by:
FWF (I4513-N)
FWO (3E017319)
Text and Data Mining valid from 2023-02-22
Version of Record valid from 2023-02-22
Article History
Received: 16 May 2019
Accepted: 17 January 2023
First Online: 22 February 2023