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:
“Thirty—the promise of a decade of loneliness, a thinning list of single men to know, a thinning brief-case of enthusiasm, thinning hair.”
—F. Scott Fitzgerald (1896–1940)
“Lastly, his tomb
Shall list and founder in the troughs of grass
And none shall speak his name.”
—Karl Shapiro (b. 1913)
“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)