Derrick's theorem

The relative strength of two systems of formal logic can be defined via model theory. Specifically, a logic $\alpha$ is said to be as strong as a logic $\beta$ if every elementary class in $\beta$ is an elementary class in $\alpha$.

See also

• Abstract logic
• Lindström's theorem

References

43 year old Petroleum Engineer Harry from Deep River, usually spends time with hobbies and interests like renting movies, property developers in singapore new condominium and vehicle racing. Constantly enjoys going to destinations like Camino Real de Tierra Adentro.