Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/Theory_of_pure_equality> ?p ?o }
Showing triples 1 to 28 of
28
with 100 triples per page.
- Theory_of_pure_equality abstract "In mathematical logic the theory of pure equality is a first-order theory. It has a signature consisting of only the equality relation symbol, and includes no non-logical axioms at all (Monk 1976:240–242). This theory is consistent, as any set with the usual equality relation provides an interpretation.The theory of pure equality was proven to be decidable by Löwenheim in 1915. If an additional axiom is added saying either that there are exactly m objects, for a fixed natural number m, or an axiom scheme is added stating there are infinitely many objects, the resulting theory is complete.".
- Theory_of_pure_equality wikiPageID "26413136".
- Theory_of_pure_equality wikiPageLength "1000".
- Theory_of_pure_equality wikiPageOutDegree "7".
- Theory_of_pure_equality wikiPageRevisionID "596388457".
- Theory_of_pure_equality wikiPageWikiLink Category:Formal_theories.
- Theory_of_pure_equality wikiPageWikiLink Complete_theory.
- Theory_of_pure_equality wikiPageWikiLink Decidability_(logic).
- Theory_of_pure_equality wikiPageWikiLink First-order_logic.
- Theory_of_pure_equality wikiPageWikiLink Mathematical_logic.
- Theory_of_pure_equality wikiPageWikiLink Signature_(logic).
- Theory_of_pure_equality wikiPageWikiLink Springer_Science+Business_Media.
- Theory_of_pure_equality wikiPageWikiLinkText "Theory of pure equality".
- Theory_of_pure_equality wikiPageUsesTemplate Template:Citation.
- Theory_of_pure_equality wikiPageUsesTemplate Template:Mathlogic-stub.
- Theory_of_pure_equality subject Category:Formal_theories.
- Theory_of_pure_equality hypernym Theory.
- Theory_of_pure_equality type Language.
- Theory_of_pure_equality type Work.
- Theory_of_pure_equality type Language.
- Theory_of_pure_equality type Theory.
- Theory_of_pure_equality comment "In mathematical logic the theory of pure equality is a first-order theory. It has a signature consisting of only the equality relation symbol, and includes no non-logical axioms at all (Monk 1976:240–242). This theory is consistent, as any set with the usual equality relation provides an interpretation.The theory of pure equality was proven to be decidable by Löwenheim in 1915.".
- Theory_of_pure_equality label "Theory of pure equality".
- Theory_of_pure_equality sameAs Q7782446.
- Theory_of_pure_equality sameAs m.0bbxdcm.
- Theory_of_pure_equality sameAs Q7782446.
- Theory_of_pure_equality wasDerivedFrom Theory_of_pure_equality?oldid=596388457.
- Theory_of_pure_equality isPrimaryTopicOf Theory_of_pure_equality.