Heike Mildenberger,Saharon Shelah
Heike Mildenberger
We consider a version of κ -Miller forcing on an uncountable cardinal κ . We show that under 2 ω , 2 2
Nikolay Bazhenov,Manat Mustafa,Luca San Mauro et al.
Nikolay Bazhenov et al.
Computably enumerable equivalence relations (ceers) received a lot of attention in the literature. The standard tool to classify ceers is provided by the computable reducibility ⩽ c . This gives rise to a rich degree structure. In t...
We consider a question of Pereira as to whether the characteristic function of an internally approachable model can lead to free subsets for functions of the model. Pereira isolated the pertinent Approachable Free Subsets Property (AFSP) in...