Jump to content

Strength (mathematical logic)

From Wikipedia, the free encyclopedia
(Redirected from Strength (mathematics))

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

[edit]

References

[edit]
  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