Matches in DBpedia 2016-04 for { <http://wikidata.dbpedia.org/resource/Q7254774> ?p ?o }
Showing triples 1 to 33 of
33
with 100 triples per page.
- Q7254774 subject Q7451685.
- Q7254774 subject Q8880669.
- Q7254774 abstract "In logic, a pseudoelementary class is a class of structures derived from an elementary class (one definable in first order logic) by omitting some of its sorts and relations. It is the mathematical logic counterpart of the notion in category theory of (the codomain of) a forgetful functor, and in physics of (hypothesized) hidden variable theories purporting to explain quantum mechanics. Elementary classes are (vacuously) pseudoelementary but the converse is not always true; nevertheless pseudoelementary classes share some of the properties of elementary classes such as being closed under ultraproducts.".
- Q7254774 wikiPageWikiLink Q1084766.
- Q7254774 wikiPageWikiLink Q1166618.
- Q7254774 wikiPageWikiLink Q12880812.
- Q7254774 wikiPageWikiLink Q1327762.
- Q7254774 wikiPageWikiLink Q1535225.
- Q7254774 wikiPageWikiLink Q1778193.
- Q7254774 wikiPageWikiLink Q1851710.
- Q7254774 wikiPageWikiLink Q189112.
- Q7254774 wikiPageWikiLink Q199006.
- Q7254774 wikiPageWikiLink Q217413.
- Q7254774 wikiPageWikiLink Q2326800.
- Q7254774 wikiPageWikiLink Q2363730.
- Q7254774 wikiPageWikiLink Q2646117.
- Q7254774 wikiPageWikiLink Q2752716.
- Q7254774 wikiPageWikiLink Q2895708.
- Q7254774 wikiPageWikiLink Q3502010.
- Q7254774 wikiPageWikiLink Q413.
- Q7254774 wikiPageWikiLink Q5421534.
- Q7254774 wikiPageWikiLink Q5965969.
- Q7254774 wikiPageWikiLink Q629933.
- Q7254774 wikiPageWikiLink Q7306336.
- Q7254774 wikiPageWikiLink Q7451685.
- Q7254774 wikiPageWikiLink Q8078.
- Q7254774 wikiPageWikiLink Q8880669.
- Q7254774 wikiPageWikiLink Q898521.
- Q7254774 wikiPageWikiLink Q903783.
- Q7254774 wikiPageWikiLink Q933932.
- Q7254774 wikiPageWikiLink Q944.
- Q7254774 comment "In logic, a pseudoelementary class is a class of structures derived from an elementary class (one definable in first order logic) by omitting some of its sorts and relations. It is the mathematical logic counterpart of the notion in category theory of (the codomain of) a forgetful functor, and in physics of (hypothesized) hidden variable theories purporting to explain quantum mechanics.".
- Q7254774 label "Pseudoelementary class".