Jump to content

Elementary sentence

Add links
From Wikipedia, the free encyclopedia

This is an old revision of this page, as edited by 2600:1004:b026:6ed7:51ce:fd3f:30af:8b3f (talk) at 23:44, 28 June 2019 (link). The present address (URL) is a permanent link to this revision, which may differ significantly from the current revision.

In mathematical logic, an elementary sentence is one that is stated 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 sentence is elementary is a weaker condition than saying it is algebraic.

References

  • Mac Lane and Moerdijk, Sheaves in Geometry and Logic: A First Introduction to Topos Theory, page 4.
Stub icon

This mathematical logic-related article is a stub. You can help Wikipedia by expanding it.

Retrieved from "https://en.wikipedia.org/w/index.php?title=Elementary_sentence&oldid=903945314"