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:
“A man’s interest in a single bluebird is worth more than a complete but dry list of the fauna and flora of a town.”
—Henry David Thoreau (1817–1862)
“Every morning I woke in dread, waiting for the day nurse to go on her rounds and announce from the list of names in her hand whether or not I was for shock treatment, the new and fashionable means of quieting people and of making them realize that orders are to be obeyed and floors are to be polished without anyone protesting and faces are to be made to be fixed into smiles and weeping is a crime.”
—Janet Frame (b. 1924)
“We do not talk—we bludgeon one another with facts and theories gleaned from cursory readings of newspapers, magazines and digests.”
—Henry Miller (1891–1980)