Strength (mathematical logic)
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
- ISBN 0-387-90936-2page 43
| General | |||||||||
|---|---|---|---|---|---|---|---|---|---|
| Theorems (list) and paradoxes | |||||||||
| Logics |
| ||||||||
| Set theory |
| ||||||||
| Formal systems (list), language and syntax |
| ||||||||
| Proof theory | |||||||||
| Model theory |
| ||||||||
| Computability theory | |||||||||
| Related | |||||||||
 | This mathematical logic-related article is a stub. You can help Wikipedia by expanding it. |