20 citations · 140 across the 30 of their papers we have counts for
Showing 2022Show all
2 papers · 1 filter
math.LO2022★ 1 cited
The parameterfree Comprehension does not imply the full Comprehension in the 2nd order Peano arithmetic
Vladimir Kanovei, Vassily Lyubetsky
The parameter-free part of , the 2nd order Peano arithmetic, is considered. We make use of a product/iterated Sacks forcing to define an -model o…
math.LO2022★ 7 cited
A model in which the Separation principle holds for a given effective projective Sigma-class
Vladimir Kanovei, Vassily Lyubetsky
In this paper, we prove the following: If , there is a generic extension of -- the constructible universe -- in which it is true that the Separation principle holds for…