An Algebraic Characterization of Elementary Equivalence
First-order logic is in principle sufficient for mathematics.
The intuitive concept of proof and the consequence relation can be adequately described by a formal notion of proof, which is given by means of a calculus.
A number of semantic results such as the Compactness Theorem or the Löwenheim-Skolem Theorem leads to an enrichment of mathematical methods.
KeywordsElementary Equivalence Winning Strategy Relation Symbol Algebraic Characterization Dense Ordering
Unable to display preview. Download preview PDF.