Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/List_of_first-order_theories> ?p ?o }
- List_of_first-order_theories wikiPageWikiLink Saturated_model.
- List_of_first-order_theories wikiPageWikiLink Scott–Potter_set_theory.
- List_of_first-order_theories wikiPageWikiLink Second-order_arithmetic.
- List_of_first-order_theories wikiPageWikiLink Set_theory.
- List_of_first-order_theories wikiPageWikiLink Signature_(logic).
- List_of_first-order_theories wikiPageWikiLink Solvable_group.
- List_of_first-order_theories wikiPageWikiLink Spectrum_of_a_theory.
- List_of_first-order_theories wikiPageWikiLink Stable_theory.
- List_of_first-order_theories wikiPageWikiLink Successor_function.
- List_of_first-order_theories wikiPageWikiLink Symmetric_relation.
- List_of_first-order_theories wikiPageWikiLink Tarskis_axioms.
- List_of_first-order_theories wikiPageWikiLink Tarski–Grothendieck_set_theory.
- List_of_first-order_theories wikiPageWikiLink Tarski–Seidenberg_theorem.
- List_of_first-order_theories wikiPageWikiLink Topos.
- List_of_first-order_theories wikiPageWikiLink Transfinite_induction.
- List_of_first-order_theories wikiPageWikiLink Transitive_relation.
- List_of_first-order_theories wikiPageWikiLink Unary_function.
- List_of_first-order_theories wikiPageWikiLink Von_Neumann–Bernays–Gödel_set_theory.
- List_of_first-order_theories wikiPageWikiLink Zermelo_set_theory.
- List_of_first-order_theories wikiPageWikiLink Zermelo–Fraenkel_set_theory.
- List_of_first-order_theories wikiPageWikiLinkText "First-order theories".
- List_of_first-order_theories wikiPageWikiLinkText "List of first-order theories".
- List_of_first-order_theories wikiPageWikiLinkText "List_of_first-order_theories#Pure_identity_theories".
- List_of_first-order_theories wikiPageWikiLinkText "dense linear order without endpoints".
- List_of_first-order_theories wikiPageWikiLinkText "dense linear order".
- List_of_first-order_theories wikiPageWikiLinkText "dense linear orders without endpoints".
- List_of_first-order_theories wikiPageWikiLinkText "first-order theory of real closed fields".
- List_of_first-order_theories wikiPageWikiLinkText "first-order theory".
- List_of_first-order_theories wikiPageWikiLinkText "list of first-order theories".
- List_of_first-order_theories wikiPageUsesTemplate Template:Citation.
- List_of_first-order_theories wikiPageUsesTemplate Template:Harvtxt.
- List_of_first-order_theories wikiPageUsesTemplate Template:Main.
- List_of_first-order_theories wikiPageUsesTemplate Template:Reflist.
- List_of_first-order_theories subject Category:Mathematical_logic.
- List_of_first-order_theories subject Category:Mathematics-related_lists.
- List_of_first-order_theories subject Category:Model_theory.
- List_of_first-order_theories type List.
- List_of_first-order_theories type Field.
- List_of_first-order_theories type List.
- List_of_first-order_theories comment "In mathematical logic, a first-order theory is given by a set of axioms in somelanguage. This entry lists some of the more common examples used in model theory and some of their properties.".
- List_of_first-order_theories label "List of first-order theories".
- List_of_first-order_theories sameAs Q2908665.
- List_of_first-order_theories sameAs תורה_(לוגיקה_מתמטית).
- List_of_first-order_theories sameAs Lista_de_teorias_de_primeira_ordem.
- List_of_first-order_theories sameAs Q2908665.
- List_of_first-order_theories wasDerivedFrom List_of_first-order_theories?oldid=705853359.
- List_of_first-order_theories isPrimaryTopicOf List_of_first-order_theories.