TY - RPRT TI - On a Spector ultrapower of the Solovay model AU - Vladimir Kanovei AU - Michiel van Lambalgen PY - 1995 DO - 10.1002/malq.19970430311 UR - https://arxiv.org/abs/math/9502205 ID - math/9502205 ER -