Strength (mathematical logic)

The relative strength of two systems of formal logic can be defined via model theory. Specifically, a logic \alpha is said to be as strong as a logic \beta if every elementary class in \beta is an elementary class in \alpha.[1]

See also

References

  1. Heinz-Dieter Ebbinghaus Extended logics: the general framework in K. J. Barwise and S. Feferman, editors, Model-theoretic logics, 1985 ISBN 0-387-90936-2 page 43
This article is issued from Wikipedia - version of the 3/21/2013. The text is available under the Creative Commons Attribution/Share Alike but additional terms may apply for the media files.