Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/Silver_machine> ?p ?o }
Showing triples 1 to 30 of
30
with 100 triples per page.
- Silver_machine abstract "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.".
- Silver_machine wikiPageID "5363856".
- Silver_machine wikiPageLength "3068".
- Silver_machine wikiPageOutDegree "11".
- Silver_machine wikiPageRevisionID "625105261".
- Silver_machine wikiPageWikiLink Category:Constructible_universe.
- Silver_machine wikiPageWikiLink Constructible_universe.
- Silver_machine wikiPageWikiLink Fine_structure_theory_(set_theory).
- Silver_machine wikiPageWikiLink Hawkwind.
- Silver_machine wikiPageWikiLink Jack_Silver.
- Silver_machine wikiPageWikiLink Keith_Devlin.
- Silver_machine wikiPageWikiLink Ordinal_number.
- Silver_machine wikiPageWikiLink Set_theory.
- Silver_machine wikiPageWikiLink Square_principle.
- Silver_machine wikiPageWikiLink Statements_true_in_L.
- Silver_machine wikiPageWikiLink The_Vapors.
- Silver_machine wikiPageWikiLinkText "Silver machine".
- Silver_machine wikiPageWikiLinkText "machines".
- Silver_machine wikiPageUsesTemplate Template:About.
- Silver_machine wikiPageUsesTemplate Template:Cite_book.
- Silver_machine subject Category:Constructible_universe.
- Silver_machine hypernym Devices.
- Silver_machine type Device.
- Silver_machine comment "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.".
- Silver_machine label "Silver machine".
- Silver_machine sameAs Q7516558.
- Silver_machine sameAs m.0dhhv6.
- Silver_machine sameAs Q7516558.
- Silver_machine wasDerivedFrom Silver_machine?oldid=625105261.
- Silver_machine isPrimaryTopicOf Silver_machine.