The existence of morasses using Silver machine in L is proved in the PhD thesis of Thomas Lloyd Richardson, ``Silver Machine Approach to the Constructible Universe''.
See also Silver machines
Mohammad Golshani
- 32.2k
- 2
- 99
- 198