However, he may as well just remarry without that, since that is just a cheirem, while you note that the Ran holds divorcing against her will is d’oraisoh.
But he probably wouldn’t be able to get a Mesader Kiddushin with the Cheirem in effect.
Menu