Independence of the Comprehension Schema in Second-Order
Arithmetic from the Parameter-Free Countable Choice.
Mathematical Notes, 2025, vol. 117, no. 2, pp. 275-286.
DOI: 10.1134/S0001434625010250
(WoS Q3, Scimago SJR Q2)
Go to publication
| Authors: Kanovei V., Lyubetsky V. |