Silver machine
Type of mathematical object / From Wikipedia, the free encyclopedia
This article is about the kind of mathematical object. For the Hawkwind song, see Silver Machine. For the Vapors song, see Silver Machines.
In set theory, Silver machines are devices used for bypassing the use of fine structure in proofs of statements holding in L. They were invented by set theorist Jack Silver as a means of proving global square holds in the constructible universe.
![]() | This article has multiple issues. Please help improve it or discuss these issues on the talk page. (Learn how and when to remove these template messages)
|