# Strength (mathematical logic)

Jump to navigation
Jump to search

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

## See also

## References

- ↑ 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