Elementary theory
From Infogalactic: the planetary knowledge core
In mathematical logic, an elementary theory is one that involves axioms using only finitary first-order logic, without reference to set theory or using any axioms which have consistency strength equal to set theory.
Saying that a theory is elementary is a weaker condition than saying it is algebraic.
Related
References
- Mac Lane and Moerdijk, Sheaves in Geometry and Logic: A First Introduction to Topos Theory, page 4.
<templatestyles src="Asbox/styles.css"></templatestyles>
 |
This mathematical logic-related article is a stub. You can help Wikipedia by expanding it. |
