Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/Abstract_logic> ?p ?o }
Showing triples 1 to 34 of
34
with 100 triples per page.
- Abstract_logic abstract "In mathematical logic, an abstract logic is a formal system consisting of a class of sentences and a satisfaction relation with specific properties related to occurrence, expansion, isomorphism, renaming and quantification.Based on Lindström's characterization, first order logic is, up to equivalence, the only abstract logic which is countably compact and has Löwenheim number ω.".
- Abstract_logic wikiPageID "28877379".
- Abstract_logic wikiPageLength "950".
- Abstract_logic wikiPageOutDegree "14".
- Abstract_logic wikiPageRevisionID "546009594".
- Abstract_logic wikiPageWikiLink Abstract_algebraic_logic.
- Abstract_logic wikiPageWikiLink Abstract_model_theory.
- Abstract_logic wikiPageWikiLink Category:Mathematical_logic.
- Abstract_logic wikiPageWikiLink Countably_compact_space.
- Abstract_logic wikiPageWikiLink First-order_logic.
- Abstract_logic wikiPageWikiLink Formal_system.
- Abstract_logic wikiPageWikiLink Lindstrxc3xb6ms_theorem.
- Abstract_logic wikiPageWikiLink Löwenheim_number.
- Abstract_logic wikiPageWikiLink Mathematical_logic.
- Abstract_logic wikiPageWikiLink Per_Lindström.
- Abstract_logic wikiPageWikiLink Sentence_(logic).
- Abstract_logic wikiPageWikiLink Structure_(mathematical_logic).
- Abstract_logic wikiPageWikiLink Universal_logic.
- Abstract_logic wikiPageWikiLinkText "Abstract logic".
- Abstract_logic wikiPageWikiLinkText "abstract logic".
- Abstract_logic wikiPageUsesTemplate Template:Mathlogic-stub.
- Abstract_logic wikiPageUsesTemplate Template:Other_uses_of.
- Abstract_logic wikiPageUsesTemplate Template:Reflist.
- Abstract_logic subject Category:Mathematical_logic.
- Abstract_logic hypernym System.
- Abstract_logic type Field.
- Abstract_logic comment "In mathematical logic, an abstract logic is a formal system consisting of a class of sentences and a satisfaction relation with specific properties related to occurrence, expansion, isomorphism, renaming and quantification.Based on Lindström's characterization, first order logic is, up to equivalence, the only abstract logic which is countably compact and has Löwenheim number ω.".
- Abstract_logic label "Abstract logic".
- Abstract_logic sameAs Q2748142.
- Abstract_logic sameAs Abstracte_logica.
- Abstract_logic sameAs m.0ddc5d5.
- Abstract_logic sameAs Q2748142.
- Abstract_logic wasDerivedFrom Abstract_logic?oldid=546009594.
- Abstract_logic isPrimaryTopicOf Abstract_logic.