Crossmark

Parameterfree Comprehension Does Not Imply Full Comprehension in Second Order Peano Arithmetic

Crossref DOI link: https://doi.org/10.1007/s11225-024-10108-2

Published Online: 2024-04-24

Published Print: 2025-02

Update policy: https://doi.org/10.1007/springer_crossmark_policy

Authors

Kanovei, Vladimir https://orcid.org/0000-0001-7415-9784
Lyubetsky, Vassily https://orcid.org/0000-0002-3739-9161
Funding

Funding for this research was provided by:

Russian Science Foundation (24-44-00099)
License Information

Text and Data Mining valid from 2024-04-24

Version of Record valid from 2024-04-24
More Information

Article History

Received: 14 October 2022

Accepted: 19 February 2024

First Online: 24 April 2024