In mathematical logic, an elementary theory is a theory that involves axioms using only finitary first-order logic, without reference to set theory or using any axioms that have consistency strength equal to set theory.
Saying that a theory is elementary is a weaker condition than saying it is algebraic.
Examples
editThis section needs expansion. You can help by adding to it. (January 2021) |
Examples of elementary theories include:
- The theory of groups
- The theory of finite groups
- The theory of abelian groups
- The theory of fields
- The theory of finite fields
- The theory of real closed fields
- Axiomization of Euclidean geometry
Related
editReferences
edit🔥 Top keywords: Akademia e Shkencave e RPS te ShqiperiseAlexandria Ocasio-CortezBilderberg GroupCristiano RonaldoDong XiaowanMinecraftOperation GladioPrimal cutRiot FestStrictly Come Dancing (series 7)Main PageSpecial:SearchKalki 2898 ADWikipedia:Featured picturesMartin MullICC Men's T20 World CupUEFA Euro 2024.xxxChris MartinA Quiet Place: Day One2024 ICC Men's T20 World CupProject 2025Joe BidenDua LipaCleopatraJamal Musiala2024 NHL entry draftVirat KohliColdplayDeaths in 2024Simone BilesUEFA European ChampionshipCeline DionCricket World CupThe Bear (TV series)Dakota JohnsonZac EfronCyndi LauperKasper Schmeichel2024 Copa AméricaRuben VargasBronny JamesBad Boys: Ride or DieElizabeth IAbu Ghraib torture and prisoner abuseNicole KidmanDonald TrumpRohit SharmaJasprit Bumrah