Top Qs
Timeline
Chat
Perspective

Strength (mathematical logic)

From Wikipedia, the free encyclopedia

Remove ads

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]

Remove ads

See also

References

Loading content...
Loading related searches...

Wikiwand - on

Seamless Wikipedia browsing. On steroids.

Remove ads