Matches in DBpedia 2015-10 for { <http://dbpedia.org/resource/Algebraic_theory> ?p ?o }
Showing triples 1 to 45 of
45
with 100 triples per page.
- Algebraic_theory abstract "Informally in mathematical logic, an algebraic theory is one that uses axioms stated entirely in terms of equations between terms with free variables. Inequalities and quantifiers are specifically disallowed. Sentential logic is the subset of first-order logic involving only algebraic sentences.The notion is very close to the notion of Algebraic Structure, which, arguably, may be just a synonym.Saying that a theory is algebraic is a stronger condition than saying it is elementary.".
- Algebraic_theory wikiPageExternalLink tr5abs.html.
- Algebraic_theory wikiPageExternalLink algebraic.theories.pdf.
- Algebraic_theory wikiPageID "24497685".
- Algebraic_theory wikiPageLength "3217".
- Algebraic_theory wikiPageOutDegree "18".
- Algebraic_theory wikiPageRevisionID "668684169".
- Algebraic_theory wikiPageWikiLink Algebraic_Structure.
- Algebraic_theory wikiPageWikiLink Algebraic_definition.
- Algebraic_theory wikiPageWikiLink Algebraic_sentence.
- Algebraic_theory wikiPageWikiLink Cartesian_product.
- Algebraic_theory wikiPageWikiLink Category:Mathematical_logic.
- Algebraic_theory wikiPageWikiLink Category_theory.
- Algebraic_theory wikiPageWikiLink Commutative_ring.
- Algebraic_theory wikiPageWikiLink Elementary_theory.
- Algebraic_theory wikiPageWikiLink Equational_logic.
- Algebraic_theory wikiPageWikiLink Euclidean_geometry.
- Algebraic_theory wikiPageWikiLink First-order_logic.
- Algebraic_theory wikiPageWikiLink Free_variable.
- Algebraic_theory wikiPageWikiLink Free_variables_and_bound_variables.
- Algebraic_theory wikiPageWikiLink Functor.
- Algebraic_theory wikiPageWikiLink Geometric_theory.
- Algebraic_theory wikiPageWikiLink Lawvere_theory.
- Algebraic_theory wikiPageWikiLink Mathematical_logic.
- Algebraic_theory wikiPageWikiLink Morphism.
- Algebraic_theory wikiPageWikiLink Propositional_calculus.
- Algebraic_theory wikiPageWikiLink Sentential_logic.
- Algebraic_theory wikiPageWikiLinkText "Algebraic theories".
- Algebraic_theory wikiPageWikiLinkText "Algebraic theory".
- Algebraic_theory wikiPageWikiLinkText "algebraic theories".
- Algebraic_theory wikiPageWikiLinkText "algebraic theory".
- Algebraic_theory wikiPageWikiLinkText "algebraic".
- Algebraic_theory hasPhotoCollection Algebraic_theory.
- Algebraic_theory id "algebraic+theory".
- Algebraic_theory title "Algebraic Theory".
- Algebraic_theory wikiPageUsesTemplate Template:Nlab.
- Algebraic_theory subject Category:Mathematical_logic.
- Algebraic_theory type Field.
- Algebraic_theory comment "Informally in mathematical logic, an algebraic theory is one that uses axioms stated entirely in terms of equations between terms with free variables. Inequalities and quantifiers are specifically disallowed. Sentential logic is the subset of first-order logic involving only algebraic sentences.The notion is very close to the notion of Algebraic Structure, which, arguably, may be just a synonym.Saying that a theory is algebraic is a stronger condition than saying it is elementary.".
- Algebraic_theory label "Algebraic theory".
- Algebraic_theory sameAs m.0803j0w.
- Algebraic_theory sameAs Q4724020.
- Algebraic_theory sameAs Q4724020.
- Algebraic_theory wasDerivedFrom Algebraic_theory?oldid=668684169.
- Algebraic_theory isPrimaryTopicOf Algebraic_theory.