Kanovei, Vladimir

1. A model of second-order arithmetic satisfying AC but not DC
   2018/08/14 by Friedman, Sy-David, Gitman, Victoria, Kanovei, Vladimir · 1 citation
   #FOS: Mathematics #Logic (math.LO)
2. Models of set theory in which separation theorem fails
   2019/05/24 by Kanovei, Vladimir, Lyubetsky, Vassily · 2 citations
   #03E15 #03E35 #FOS: Mathematics #Logic (math.LO)