Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/List_of_first-order_theories> ?p ?o }
- List_of_first-order_theories abstract "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 wikiPageID "3690584".
- List_of_first-order_theories wikiPageLength "35982".
- List_of_first-order_theories wikiPageOutDegree "140".
- List_of_first-order_theories wikiPageRevisionID "705853359".
- List_of_first-order_theories wikiPageWikiLink Absolute_geometry.
- List_of_first-order_theories wikiPageWikiLink Absorption_law.
- List_of_first-order_theories wikiPageWikiLink Ackermann_set_theory.
- List_of_first-order_theories wikiPageWikiLink Affine_geometry.
- List_of_first-order_theories wikiPageWikiLink Analytic_determinacy.
- List_of_first-order_theories wikiPageWikiLink Arithmetical_hierarchy.
- List_of_first-order_theories wikiPageWikiLink Associative_property.
- List_of_first-order_theories wikiPageWikiLink Atomic_model_(mathematical_logic).
- List_of_first-order_theories wikiPageWikiLink Automorphism.
- List_of_first-order_theories wikiPageWikiLink Axiom_of_choice.
- List_of_first-order_theories wikiPageWikiLink Axiom_of_constructibility.
- List_of_first-order_theories wikiPageWikiLink Axiom_of_dependent_choice.
- List_of_first-order_theories wikiPageWikiLink Axiom_of_determinacy.
- List_of_first-order_theories wikiPageWikiLink Axiom_of_projective_determinacy.
- List_of_first-order_theories wikiPageWikiLink Axiom_schema_of_specification.
- List_of_first-order_theories wikiPageWikiLink Binary_function.
- List_of_first-order_theories wikiPageWikiLink Boolean_algebra_(structure).
- List_of_first-order_theories wikiPageWikiLink Cambridge_University_Press.
- List_of_first-order_theories wikiPageWikiLink Cardinal_number.
- List_of_first-order_theories wikiPageWikiLink Category:Mathematical_logic.
- List_of_first-order_theories wikiPageWikiLink Category:Mathematics-related_lists.
- List_of_first-order_theories wikiPageWikiLink Category:Model_theory.
- List_of_first-order_theories wikiPageWikiLink Category_theory.
- List_of_first-order_theories wikiPageWikiLink Characteristic_(algebra).
- List_of_first-order_theories wikiPageWikiLink Chevalley–Warning_theorem.
- List_of_first-order_theories wikiPageWikiLink Clubsuit.
- List_of_first-order_theories wikiPageWikiLink Commutative_property.
- List_of_first-order_theories wikiPageWikiLink Commutative_ring.
- List_of_first-order_theories wikiPageWikiLink Compactness_theorem.
- List_of_first-order_theories wikiPageWikiLink Complete_lattice.
- List_of_first-order_theories wikiPageWikiLink Continuum_hypothesis.
- List_of_first-order_theories wikiPageWikiLink Decidability_(logic).
- List_of_first-order_theories wikiPageWikiLink Decidability_of_first-order_theories_of_the_real_numbers.
- List_of_first-order_theories wikiPageWikiLink Diamond_principle.
- List_of_first-order_theories wikiPageWikiLink Differential_algebra.
- List_of_first-order_theories wikiPageWikiLink Differentially_closed_field.
- List_of_first-order_theories wikiPageWikiLink Distributive_lattice.
- List_of_first-order_theories wikiPageWikiLink Elementary_function_arithmetic.
- List_of_first-order_theories wikiPageWikiLink Elsevier.
- List_of_first-order_theories wikiPageWikiLink Equivalence_class.
- List_of_first-order_theories wikiPageWikiLink Equivalence_relation.
- List_of_first-order_theories wikiPageWikiLink Euclidean_geometry.
- List_of_first-order_theories wikiPageWikiLink Field_(mathematics).
- List_of_first-order_theories wikiPageWikiLink Finite_field.
- List_of_first-order_theories wikiPageWikiLink Finitely_axiomatizable.
- List_of_first-order_theories wikiPageWikiLink First-order_logic.
- List_of_first-order_theories wikiPageWikiLink Formally_real_field.
- List_of_first-order_theories wikiPageWikiLink General_set_theory.
- List_of_first-order_theories wikiPageWikiLink Graduate_Texts_in_Mathematics.
- List_of_first-order_theories wikiPageWikiLink Group_(mathematics).
- List_of_first-order_theories wikiPageWikiLink Gxc3xb6dels_completeness_theorem.
- List_of_first-order_theories wikiPageWikiLink Gxc3xb6dels_incompleteness_theorems.
- List_of_first-order_theories wikiPageWikiLink Heyting_algebra.
- List_of_first-order_theories wikiPageWikiLink Hilberts_axioms.
- List_of_first-order_theories wikiPageWikiLink Hyperbolic_geometry.
- List_of_first-order_theories wikiPageWikiLink Identity_(philosophy).
- List_of_first-order_theories wikiPageWikiLink Imaginary_element.
- List_of_first-order_theories wikiPageWikiLink Injective_function.
- List_of_first-order_theories wikiPageWikiLink Kripke–Platek_set_theory.
- List_of_first-order_theories wikiPageWikiLink Kurt_Gödel.
- List_of_first-order_theories wikiPageWikiLink Lattice_(order).
- List_of_first-order_theories wikiPageWikiLink List_of_large_cardinal_properties.
- List_of_first-order_theories wikiPageWikiLink List_of_mathematical_theories.
- List_of_first-order_theories wikiPageWikiLink Martins_axiom.
- List_of_first-order_theories wikiPageWikiLink Martins_maximum.
- List_of_first-order_theories wikiPageWikiLink Mathematical_induction.
- List_of_first-order_theories wikiPageWikiLink Mathematical_logic.
- List_of_first-order_theories wikiPageWikiLink Model_complete_theory.
- List_of_first-order_theories wikiPageWikiLink Model_theory.
- List_of_first-order_theories wikiPageWikiLink Modular_lattice.
- List_of_first-order_theories wikiPageWikiLink Morleys_categoricity_theorem.
- List_of_first-order_theories wikiPageWikiLink Morse–Kelley_set_theory.
- List_of_first-order_theories wikiPageWikiLink New_Foundations.
- List_of_first-order_theories wikiPageWikiLink Nilpotent_group.
- List_of_first-order_theories wikiPageWikiLink Ordered_geometry.
- List_of_first-order_theories wikiPageWikiLink Ordinal_number.
- List_of_first-order_theories wikiPageWikiLink Peano_axioms.
- List_of_first-order_theories wikiPageWikiLink Perfect_field.
- List_of_first-order_theories wikiPageWikiLink Pocket_set_theory.
- List_of_first-order_theories wikiPageWikiLink Positive_set_theory.
- List_of_first-order_theories wikiPageWikiLink Power_set.
- List_of_first-order_theories wikiPageWikiLink Presburger_arithmetic.
- List_of_first-order_theories wikiPageWikiLink Prime_model.
- List_of_first-order_theories wikiPageWikiLink Primitive_recursive_arithmetic.
- List_of_first-order_theories wikiPageWikiLink Projective_geometry.
- List_of_first-order_theories wikiPageWikiLink Proper_forcing_axiom.
- List_of_first-order_theories wikiPageWikiLink Propositional_function.
- List_of_first-order_theories wikiPageWikiLink Quantifier_elimination.
- List_of_first-order_theories wikiPageWikiLink Rado_graph.
- List_of_first-order_theories wikiPageWikiLink Random_graph.
- List_of_first-order_theories wikiPageWikiLink Real_closed_field.
- List_of_first-order_theories wikiPageWikiLink Reflexive_relation.
- List_of_first-order_theories wikiPageWikiLink Reverse_mathematics.
- List_of_first-order_theories wikiPageWikiLink Ring_(mathematics).
- List_of_first-order_theories wikiPageWikiLink Robinson_arithmetic.