4.5 Examples Across Algebra and Geometry
Examples of first order structures from algebra, order theory, graph theory, and geometry.
5 notes
Examples of first order structures from algebra, order theory, graph theory, and geometry.
Basic model theoretic notions including languages, signatures, substructures, embeddings, elementary equivalence, isomorphism, and examples.
Structures, domains, and interpretations of symbols in first order logic.
Distinction between finite and infinite objects, methods of reasoning, and consequences across mathematics.
How mathematics treats objects through the rules they satisfy, the relations they support, and the transformations that preserve them.