A large Pi-1-2 set absolute for set forcing
From MaRDI portal
Publication:6502401
zbMatharXiv:math/9212202MaRDI QIDQ6502401
Publication date: 1 January 1
This page was built for publication: A large Pi-1-2 set absolute for set forcing