Dependent choice as a termination principle
Crossref DOI link: https://doi.org/10.1007/s00153-019-00706-6
Published Online: 2020-01-16
Published Print: 2020-05
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Powell, Thomas http://orcid.org/0000-0002-2541-4678
Funding for this research was provided by:
DFG (Project KO 1737/6-1)
FWF (project P-25781)
Text and Data Mining valid from 2020-01-16
Version of Record valid from 2020-01-16
Article History
Received: 2 April 2019
Accepted: 17 December 2019
First Online: 16 January 2020