\(\Delta^0_1\) variants of the law of excluded middle and related principles

DOI10.1007/s00153-022-00827-5OpenAlexW4225163416WikidataQ114852531 ScholiaQ114852531MaRDI QIDQ2085582

Could not fetch data.

Publication date: 18 October 2022

Published in: (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00153-022-00827-5

zbMATH Keywords

Could not fetch data.

Mathematics Subject Classification ID

Could not fetch data.