Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/Structure_(mathematical_logic)> ?p ?o }
- Structure_(mathematical_logic) abstract "In universal algebra and in model theory, a structure consists of a set along with a collection of finitary operations, and relations that are defined on it. Universal algebra studies structures that generalize the algebraic structures such as groups, rings, fields and vector spaces. The term universal algebra is used for structures with no relation symbols.Model theory has a different scope that encompasses more arbitrary theories, including foundational structures such as models of set theory. From the model-theoretic point of view, structures are the objects used to define the semantics of first-order logic. For a given theory in model theory, a structure is called a model, if it satisfies the defining axioms of that theory, although it is sometimes disambiguated as a semantic model when one discusses the notion in the more general setting of mathematical models. Logicians sometimes refer to structures as interpretations.In database theory, structures with no functions are studied as models for relational databases, in the form of relational models.".
- Structure_(mathematical_logic) wikiPageExternalLink plato.stanford.edu.
- Structure_(mathematical_logic) wikiPageExternalLink graph.theory.
- Structure_(mathematical_logic) wikiPageExternalLink ualg.html.
- Structure_(mathematical_logic) wikiPageExternalLink logic-classical.
- Structure_(mathematical_logic) wikiPageExternalLink 4.
- Structure_(mathematical_logic) wikiPageExternalLink 978-1-4419-1220-6.
- Structure_(mathematical_logic) wikiPageID "4055928".
- Structure_(mathematical_logic) wikiPageLength "29204".
- Structure_(mathematical_logic) wikiPageOutDegree "105".
- Structure_(mathematical_logic) wikiPageRevisionID "702637383".
- Structure_(mathematical_logic) wikiPageWikiLink A_K_Peters,_Ltd..
- Structure_(mathematical_logic) wikiPageWikiLink Algebra.
- Structure_(mathematical_logic) wikiPageWikiLink Algebra_over_a_field.
- Structure_(mathematical_logic) wikiPageWikiLink Algebraic_structure.
- Structure_(mathematical_logic) wikiPageWikiLink Arity.
- Structure_(mathematical_logic) wikiPageWikiLink Bart_Jacobs.
- Structure_(mathematical_logic) wikiPageWikiLink Bertrand_Russell.
- Structure_(mathematical_logic) wikiPageWikiLink Binary_relation.
- Structure_(mathematical_logic) wikiPageWikiLink CRC_Press.
- Structure_(mathematical_logic) wikiPageWikiLink Cambridge_University_Press.
- Structure_(mathematical_logic) wikiPageWikiLink Categorical_logic.
- Structure_(mathematical_logic) wikiPageWikiLink Category:Mathematical_logic.
- Structure_(mathematical_logic) wikiPageWikiLink Category:Mathematical_structures.
- Structure_(mathematical_logic) wikiPageWikiLink Category:Model_theory.
- Structure_(mathematical_logic) wikiPageWikiLink Category:Universal_algebra.
- Structure_(mathematical_logic) wikiPageWikiLink Category_(mathematics).
- Structure_(mathematical_logic) wikiPageWikiLink Category_theory.
- Structure_(mathematical_logic) wikiPageWikiLink Class_(set_theory).
- Structure_(mathematical_logic) wikiPageWikiLink Closure_operator.
- Structure_(mathematical_logic) wikiPageWikiLink Complex_number.
- Structure_(mathematical_logic) wikiPageWikiLink Complexity_of_constraint_satisfaction.
- Structure_(mathematical_logic) wikiPageWikiLink Conceptual_model.
- Structure_(mathematical_logic) wikiPageWikiLink Concrete_category.
- Structure_(mathematical_logic) wikiPageWikiLink Conjunctive_query.
- Structure_(mathematical_logic) wikiPageWikiLink Constraint_satisfaction_problem.
- Structure_(mathematical_logic) wikiPageWikiLink Database.
- Structure_(mathematical_logic) wikiPageWikiLink Database_theory.
- Structure_(mathematical_logic) wikiPageWikiLink Domain_of_discourse.
- Structure_(mathematical_logic) wikiPageWikiLink Elementary_class.
- Structure_(mathematical_logic) wikiPageWikiLink Empty_domain.
- Structure_(mathematical_logic) wikiPageWikiLink Fibred_category.
- Structure_(mathematical_logic) wikiPageWikiLink Field_(mathematics).
- Structure_(mathematical_logic) wikiPageWikiLink Field_extension.
- Structure_(mathematical_logic) wikiPageWikiLink Finitary.
- Structure_(mathematical_logic) wikiPageWikiLink Finitary_relation.
- Structure_(mathematical_logic) wikiPageWikiLink Finite_model_theory.
- Structure_(mathematical_logic) wikiPageWikiLink First-order_logic.
- Structure_(mathematical_logic) wikiPageWikiLink Foundations_of_mathematics.
- Structure_(mathematical_logic) wikiPageWikiLink Glossary_of_graph_theory.
- Structure_(mathematical_logic) wikiPageWikiLink Graph_(discrete_mathematics).
- Structure_(mathematical_logic) wikiPageWikiLink Graph_homomorphism.
- Structure_(mathematical_logic) wikiPageWikiLink Graph_theory.
- Structure_(mathematical_logic) wikiPageWikiLink Group_(mathematics).
- Structure_(mathematical_logic) wikiPageWikiLink Higher-order_logic.
- Structure_(mathematical_logic) wikiPageWikiLink Injective_function.
- Structure_(mathematical_logic) wikiPageWikiLink Integer.
- Structure_(mathematical_logic) wikiPageWikiLink Interpretation_(logic).
- Structure_(mathematical_logic) wikiPageWikiLink Join_and_meet.
- Structure_(mathematical_logic) wikiPageWikiLink Lattice_(order).
- Structure_(mathematical_logic) wikiPageWikiLink Many-sorted_logic.
- Structure_(mathematical_logic) wikiPageWikiLink Map_(mathematics).
- Structure_(mathematical_logic) wikiPageWikiLink Mathematical_model.
- Structure_(mathematical_logic) wikiPageWikiLink Mathematical_structure.
- Structure_(mathematical_logic) wikiPageWikiLink Model_theory.
- Structure_(mathematical_logic) wikiPageWikiLink Monomorphism.
- Structure_(mathematical_logic) wikiPageWikiLink Morphism.
- Structure_(mathematical_logic) wikiPageWikiLink Natural_number.
- Structure_(mathematical_logic) wikiPageWikiLink New_York_City.
- Structure_(mathematical_logic) wikiPageWikiLink Ordered_field.
- Structure_(mathematical_logic) wikiPageWikiLink Power_set.
- Structure_(mathematical_logic) wikiPageWikiLink Principia_Mathematica.
- Structure_(mathematical_logic) wikiPageWikiLink Rational_number.
- Structure_(mathematical_logic) wikiPageWikiLink Real_number.
- Structure_(mathematical_logic) wikiPageWikiLink Relational_model.
- Structure_(mathematical_logic) wikiPageWikiLink Ring_(mathematics).
- Structure_(mathematical_logic) wikiPageWikiLink Second-order_logic.
- Structure_(mathematical_logic) wikiPageWikiLink Set_(mathematics).
- Structure_(mathematical_logic) wikiPageWikiLink Set_theory.
- Structure_(mathematical_logic) wikiPageWikiLink Signature_(logic).
- Structure_(mathematical_logic) wikiPageWikiLink Springer_Science+Business_Media.
- Structure_(mathematical_logic) wikiPageWikiLink Subcategory.
- Structure_(mathematical_logic) wikiPageWikiLink Subobject.
- Structure_(mathematical_logic) wikiPageWikiLink Subring.
- Structure_(mathematical_logic) wikiPageWikiLink Substructure.
- Structure_(mathematical_logic) wikiPageWikiLink T-schema.
- Structure_(mathematical_logic) wikiPageWikiLink Theory_(mathematical_logic).
- Structure_(mathematical_logic) wikiPageWikiLink Type_theory.
- Structure_(mathematical_logic) wikiPageWikiLink Universal_algebra.
- Structure_(mathematical_logic) wikiPageWikiLink Variety_(universal_algebra).
- Structure_(mathematical_logic) wikiPageWikiLink Vector_space.
- Structure_(mathematical_logic) wikiPageWikiLink Zermelo–Fraenkel_set_theory.
- Structure_(mathematical_logic) wikiPageWikiLinkText "Model".
- Structure_(mathematical_logic) wikiPageWikiLinkText "Structure (mathematical logic)".
- Structure_(mathematical_logic) wikiPageWikiLinkText "Structure (mathematical logic)#Homomorphism problem".
- Structure_(mathematical_logic) wikiPageWikiLinkText "Structure (mathematical logic)#Many-sorted structures".
- Structure_(mathematical_logic) wikiPageWikiLinkText "Structure (mathematical logic)#Satisfaction relation".
- Structure_(mathematical_logic) wikiPageWikiLinkText "Structure (mathematical logic)#many-sorted structure".
- Structure_(mathematical_logic) wikiPageWikiLinkText "Structure (mathematical logic)#one-sorted structure".
- Structure_(mathematical_logic) wikiPageWikiLinkText "algebra".