Silver machine
http://dbpedia.org/resource/Silver_machine an entity of type: Device
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.
rdf:langString
rdf:langString
Silver machine
xsd:integer
5363856
xsd:integer
1056541317
rdf:langString
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.
xsd:nonNegativeInteger
3030