ARTICLE
|
doi:10.20944/preprints202212.0255.v2
Subject:
Computer Science And Mathematics,
Logic
Keywords:
forcing; second-order arithmetic; Comprehension; Choice; Sacks forcing
Online: 26 December 2022 (12:26:30 CET)