T. dos Reis, J. Anderson, and W. Gomide, “Transreal Explicit Construction of Universal Possible Worlds”, Transmath, Feb. 2023.