Completeness of the primitive recursive $$\omega $$-rule
Crossref DOI link: https://doi.org/10.1007/s00153-020-00716-9
Published Online: 2020-01-30
Published Print: 2020-08
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Frittaion, Emanuele http://orcid.org/0000-0003-4965-9271
Funding for this research was provided by:
John Templeton Foundation (60842)
Text and Data Mining valid from 2020-01-30
Version of Record valid from 2020-01-30
Article History
Received: 8 July 2019
Accepted: 18 January 2020
First Online: 30 January 2020