Crossmark

Independence of the Comprehension Schema in Second-Order Arithmetic from the Parameter-Free Countable Choice

Published Online: 2025-06-04

Published Print: 2025-02

Authors

Kanovei, V. G.

Lyubetsky, V. A.
License Information

Text and Data Mining valid from 2025-02-01

Version of Record valid from 2025-02-01
More Information

Article History

Received: 5 February 2024

Revised: 27 March 2024

Accepted: 17 April 2024

First Online: 4 June 2025

Conflict of Interest

: The authors of this work declare that they have no conflicts of interest.

Document is current