Jump to content

Strength (mathematical logic)

From Wikipedia, the free encyclopedia

This is the current revision of this page, as edited by Noble5034 (talk | contribs) at 17:23, 4 June 2021. The present address (URL) is a permanent link to this version.

(diff) ← Previous revision | Latest revision (diff) | Newer revision → (diff)

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