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:
“Religious literature has eminent examples, and if we run over our private list of poets, critics, philanthropists and philosophers, we shall find them infected with this dropsy and elephantiasis, which we ought to have tapped.”
—Ralph Waldo Emerson (1803–1882)
“We saw the machinery where murderers are now executed. Seven have been executed. The plan is better than the old one. It is quietly done. Only a few, at the most about thirty or forty, can witness [an execution]. It excites nobody outside of the list permitted to attend. I think the time for capital punishment has passed. I would abolish it. But while it lasts this is the best mode.”
—Rutherford Birchard Hayes (1822–1893)
“In the course of a life devoted less to living than to reading, I have verified many times that literary intentions and theories are nothing more than stimuli and that the final work usually ignores or even contradicts them.”
—Jorge Luis Borges (1899–1986)