Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/Finite_model_theory> ?p ?o }
Showing triples 1 to 72 of
72
with 100 triples per page.
- Finite_model_theory abstract "Finite Model Theory (FMT) is a subarea of model theory (MT). MT is the branch of mathematical logic which deals with the relation between a formal language (syntax) and its interpretations (semantics). FMT is a restriction of MT to interpretations of finite structures, which have a finite universe. Since many central theorems of MT do not hold when restricted to finite structures, FMT is quite different from MT in its methods of proof. Central results of classical model theory that fail for finite structures include the compactness theorem, Gödel's completeness theorem, and the method of ultraproducts for first-order logic (FO). As MT is closely related to mathematical algebra, FMT became an \"unusually effective\" instrument in computer science. In other words: \"In the history of mathematical logic most interest has concentrated on infinite structures....Yet, the objects computers have and hold are always finite. To study computation we need a theory of finite structures.\" Thus the main application areas of FMT are: descriptive complexity theory, database theory and formal language theory. FMT is mainly about discrimination of structures. The usual motivating question is whether a given class of structures can be described (up to isomorphism) in a given language. For instance, can all cyclic graphs be discriminated (from the non-cyclic ones) by a sentence of the first-order logic of graphs? This can also be phrased as: is the property \"cyclic\" FO expressible?↑ ↑".
- Finite_model_theory thumbnail Math_graph_nikos_house_01.gif?width=300.
- Finite_model_theory wikiPageExternalLink index.html.en.
- Finite_model_theory wikiPageExternalLink fmtpods09.pdf.
- Finite_model_theory wikiPageExternalLink slides.pdf.
- Finite_model_theory wikiPageExternalLink shortcourse.pdf.
- Finite_model_theory wikiPageExternalLink 9783540212027-c1.pdf.
- Finite_model_theory wikiPageID "1773596".
- Finite_model_theory wikiPageLength "16485".
- Finite_model_theory wikiPageOutDegree "46".
- Finite_model_theory wikiPageRevisionID "682558077".
- Finite_model_theory wikiPageWikiLink Addison-Wesley.
- Finite_model_theory wikiPageWikiLink Category:Finite_model_theory.
- Finite_model_theory wikiPageWikiLink Category:Model_theory.
- Finite_model_theory wikiPageWikiLink Codds_theorem.
- Finite_model_theory wikiPageWikiLink Compactness_theorem.
- Finite_model_theory wikiPageWikiLink Database_theory.
- Finite_model_theory wikiPageWikiLink Descriptive_complexity_theory.
- Finite_model_theory wikiPageWikiLink Domain_relational_calculus.
- Finite_model_theory wikiPageWikiLink Ehrenfeucht–Fraïssé_game.
- Finite_model_theory wikiPageWikiLink FO_(complexity).
- Finite_model_theory wikiPageWikiLink Fagins_theorem.
- Finite_model_theory wikiPageWikiLink First-order_logic.
- Finite_model_theory wikiPageWikiLink Formal_language.
- Finite_model_theory wikiPageWikiLink Gxc3xb6dels_completeness_theorem.
- Finite_model_theory wikiPageWikiLink Heinz-Dieter_Ebbinghaus.
- Finite_model_theory wikiPageWikiLink Hierarchical_and_recursive_queries_in_SQL.
- Finite_model_theory wikiPageWikiLink Immerman–Szelepcsényi_theorem.
- Finite_model_theory wikiPageWikiLink Interpretation_(logic).
- Finite_model_theory wikiPageWikiLink Logic_of_graphs.
- Finite_model_theory wikiPageWikiLink Mathematical_logic.
- Finite_model_theory wikiPageWikiLink Model_theory.
- Finite_model_theory wikiPageWikiLink Moshe_Vardi.
- Finite_model_theory wikiPageWikiLink Neil_Immerman.
- Finite_model_theory wikiPageWikiLink Non-standard_model_of_arithmetic.
- Finite_model_theory wikiPageWikiLink Prenex_normal_form.
- Finite_model_theory wikiPageWikiLink Quantifier_rank.
- Finite_model_theory wikiPageWikiLink Relational_algebra.
- Finite_model_theory wikiPageWikiLink SQL.
- Finite_model_theory wikiPageWikiLink SQL:1999.
- Finite_model_theory wikiPageWikiLink Serge_Abiteboul.
- Finite_model_theory wikiPageWikiLink Springer_Science+Business_Media.
- Finite_model_theory wikiPageWikiLink Structure_(mathematical_logic).
- Finite_model_theory wikiPageWikiLink Trakhtenbrots_theorem.
- Finite_model_theory wikiPageWikiLink Transitive_closure.
- Finite_model_theory wikiPageWikiLink Ultraproduct.
- Finite_model_theory wikiPageWikiLink Victor_Vianu.
- Finite_model_theory wikiPageWikiLink File:Math_graph_nikos_house_01.gif.
- Finite_model_theory wikiPageWikiLink File:Math_graph_nikos_house_05.jpg.
- Finite_model_theory wikiPageWikiLinkText "Finite model theory".
- Finite_model_theory wikiPageWikiLinkText "finite model theory".
- Finite_model_theory wikiPageWikiLinkText "finite model".
- Finite_model_theory wikiPageWikiLinkText "finite models".
- Finite_model_theory wikiPageUsesTemplate Template:Cite_book.
- Finite_model_theory wikiPageUsesTemplate Template:Cite_conference.
- Finite_model_theory wikiPageUsesTemplate Template:Cite_web.
- Finite_model_theory wikiPageUsesTemplate Template:Mathematical_logic.
- Finite_model_theory wikiPageUsesTemplate Template:Wikibooks.
- Finite_model_theory subject Category:Finite_model_theory.
- Finite_model_theory subject Category:Model_theory.
- Finite_model_theory type Concept.
- Finite_model_theory comment "Finite Model Theory (FMT) is a subarea of model theory (MT). MT is the branch of mathematical logic which deals with the relation between a formal language (syntax) and its interpretations (semantics). FMT is a restriction of MT to interpretations of finite structures, which have a finite universe. Since many central theorems of MT do not hold when restricted to finite structures, FMT is quite different from MT in its methods of proof.".
- Finite_model_theory label "Finite model theory".
- Finite_model_theory sameAs Q5450405.
- Finite_model_theory sameAs Théorie_des_modèles_finis.
- Finite_model_theory sameAs 有限モデル理論.
- Finite_model_theory sameAs Teoria_de_modelos_finitos.
- Finite_model_theory sameAs m.05vtjb.
- Finite_model_theory sameAs Q5450405.
- Finite_model_theory wasDerivedFrom Finite_model_theory?oldid=682558077.
- Finite_model_theory depiction Math_graph_nikos_house_01.gif.
- Finite_model_theory isPrimaryTopicOf Finite_model_theory.