Abstract
The greater part of our exposition so far has been devoted to the development and investigation of first-order logic. We can justify the dominant role assumed by first-order logic in several ways:
-
(a)
First-order logic is in principle sufficient for mathematics.
-
(b)
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.
-
(c)
A number of semantic results such as the Compactness Theorem or the Löwenheim-Skolem Theorem leads to an enrichment of mathematical methods.
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 1994 Springer Science+Business Media New York
About this chapter
Cite this chapter
Ebbinghaus, HD., Flum, J., Thomas, W. (1994). An Algebraic Characterization of Elementary Equivalence. In: Mathematical Logic. Undergraduate Texts in Mathematics. Springer, New York, NY. https://doi.org/10.1007/978-1-4757-2355-7_12
Download citation
DOI: https://doi.org/10.1007/978-1-4757-2355-7_12
Publisher Name: Springer, New York, NY
Print ISBN: 978-1-4757-2357-1
Online ISBN: 978-1-4757-2355-7
eBook Packages: Springer Book Archive