Strength (mathematical logic)
From HandWiki
Revision as of 13:24, 25 October 2021 by imported>JMinHep (simplify)
The relative strength of two systems of formal logic can be defined via model theory. Specifically, a logic [math]\displaystyle{ \alpha }[/math] is said to be as strong as a logic [math]\displaystyle{ \beta }[/math] if every elementary class in [math]\displaystyle{ \beta }[/math] is an elementary class in [math]\displaystyle{ \alpha }[/math].[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
![]() | Original source: https://en.wikipedia.org/wiki/Strength (mathematical logic).
Read more |