7
votes
2answers
775 views

Can models of set theory contain extra ordinals?

In the paper "Complete topoi representing models of set theory" by Blass and Scedrov, they consider a general notion of Boolean-valued model of set theory, and one of the conditions they impose is ...