2.2: Theories and Their Models — Read

From LibreTexts, under CC BY, as the source states it; its equations are written in TeX, which the PDF shows typeset. This page at LibreTexts.

2.2.1: Introduction
The axiomatic method and logic were made for each other. Formal logic provides the tools for formulating axiomatic theories, for proving theorems from the axioms of the theory in a precisely specified way, for studying the properties of all systems satisfying the axioms in a systematic way.
2.2.2: Expressing Properties of Structures
It is often useful and important to express conditions on functions and relations, or more generally, that the functions and relations in a structure satisfy these conditions.
2.2.3: Examples of First-Order Theories
Mathematics yields many examples of theories, e.g., the theories of linear orders, of groups, or theories of arithmetic, e.g., the theory axiomatized by Peano’s axioms.
2.2.4: Expressing Relations in a Structure
One main use formulas can be put to is to express properties and relations in a structure \(M\) in terms of the primitives of the language \(\mathcal L\) of \(M\).
2.2.5: The Theory of Sets
Almost all of mathematics can be developed in the theory of sets.
2.2.6: Expressing the Size of Structures
There are some properties of structures we can express even without using the non-logical symbols of a language. For instance, there are sentences which are true in a structure iff the domain of the structure has at least, at most, or exactly a certain number \(n\) of elements.
2.2.7: Summary

This page titled 2.2: Theories and Their Models was last modified on Sun, 12 Sep 2021 15:29:14 GMT and is shared under a CC BY license and was authored, remixed, and/or curated by Richard Zach et al. (Open Logic Project) .

Contents