On the Significance of Parameters in the Choice and Collection Schemata in the 2nd Order Peano Arithmetic
Crossref DOI link: https://doi.org/10.3390/math11030726
Published Online: 2023-02-01
Update policy: https://doi.org/10.3390/mdpi_crossmark_policy
Kanovei, Vladimir https://orcid.org/0000-0001-7415-9784
Lyubetsky, Vassily https://orcid.org/0000-0002-3739-9161
Funding for this research was provided by:
Russian Foundation for Basic Research RFBR (20-01-00670)
Version of Record valid from 2023-02-01