Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/Pseudoelementary_class> ?p ?o }
Showing triples 1 to 47 of
47
with 100 triples per page.
- Pseudoelementary_class 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.".
- Pseudoelementary_class wikiPageID "12747956".
- Pseudoelementary_class wikiPageLength "6927".
- Pseudoelementary_class wikiPageOutDegree "31".
- Pseudoelementary_class wikiPageRevisionID "674613395".
- Pseudoelementary_class wikiPageWikiLink Abstract_nonsense.
- Pseudoelementary_class wikiPageWikiLink Category:Model_theory.
- Pseudoelementary_class wikiPageWikiLink Category:Universal_algebra.
- Pseudoelementary_class wikiPageWikiLink Category_theory.
- Pseudoelementary_class wikiPageWikiLink Codomain.
- Pseudoelementary_class wikiPageWikiLink Direct_product.
- Pseudoelementary_class wikiPageWikiLink Distributive_lattice.
- Pseudoelementary_class wikiPageWikiLink Elementary_class.
- Pseudoelementary_class wikiPageWikiLink Exponentially_closed_field.
- Pseudoelementary_class wikiPageWikiLink Forgetful_functor.
- Pseudoelementary_class wikiPageWikiLink Hidden_variable_theory.
- Pseudoelementary_class wikiPageWikiLink Horn_clause.
- Pseudoelementary_class wikiPageWikiLink Isomorphism.
- Pseudoelementary_class wikiPageWikiLink Logic.
- Pseudoelementary_class wikiPageWikiLink Mathematical_logic.
- Pseudoelementary_class wikiPageWikiLink Naive_set_theory.
- Pseudoelementary_class wikiPageWikiLink Physics.
- Pseudoelementary_class wikiPageWikiLink Primitive_ring.
- Pseudoelementary_class wikiPageWikiLink Quantum_mechanics.
- Pseudoelementary_class wikiPageWikiLink Quasivariety.
- Pseudoelementary_class wikiPageWikiLink Reduced_product.
- Pseudoelementary_class wikiPageWikiLink Reduct.
- Pseudoelementary_class wikiPageWikiLink Relation_algebra.
- Pseudoelementary_class wikiPageWikiLink Simple_ring.
- Pseudoelementary_class wikiPageWikiLink Structure_(mathematical_logic).
- Pseudoelementary_class wikiPageWikiLink Subalgebra.
- Pseudoelementary_class wikiPageWikiLink Ultraproduct.
- Pseudoelementary_class wikiPageWikiLink Variety_(universal_algebra).
- Pseudoelementary_class wikiPageWikiLinkText "Pseudoelementary class".
- Pseudoelementary_class wikiPageWikiLinkText "pseudo-elementary class".
- Pseudoelementary_class wikiPageWikiLinkText "pseudoelementary class".
- Pseudoelementary_class subject Category:Model_theory.
- Pseudoelementary_class subject Category:Universal_algebra.
- Pseudoelementary_class hypernym Structures.
- Pseudoelementary_class type Building.
- Pseudoelementary_class 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.".
- Pseudoelementary_class label "Pseudoelementary class".
- Pseudoelementary_class sameAs Q7254774.
- Pseudoelementary_class sameAs m.02x32yn.
- Pseudoelementary_class sameAs Q7254774.
- Pseudoelementary_class wasDerivedFrom Pseudoelementary_class?oldid=674613395.
- Pseudoelementary_class isPrimaryTopicOf Pseudoelementary_class.