List of First-order Theories

List Of First-order Theories

In mathematical logic, a first-order theory is given by a set of axioms in some language. This entry lists some of the more common examples used in model theory and some of their properties.

Read more about List Of First-order Theories:  Preliminaries, Pure Identity Theories, Unary Relations, Equivalence Relations, Orders, Lattices, Graphs, Boolean Algebras, Groups, Rings and Fields, Geometry, Differential Algebra, Addition, Arithmetic, Second Order Arithmetic, Set Theories

Famous quotes containing the words list of, list and/or theories:

    Feminism is an entire world view or gestalt, not just a laundry list of women’s issues.
    Charlotte Bunch (b. 1944)

    Love’s boat has been shattered against the life of everyday. You and I are quits, and it’s useless to draw up a list of mutual hurts, sorrows, and pains.
    Vladimir Mayakovsky (1893–1930)

    The wise man regulates his conduct by the theories both of religion and science. But he regards these theories not as statements of ultimate fact but as art-forms.
    —J.B.S. (John Burdon Sanderson)