Woodin cardinal
[nl] Woodin-kardinaal
[pt] Cardinal Woodin