First order theories
No articlesTheory of pure equalityReal closed fieldFormally real fieldPerfect fieldField characteristicPrime fieldDifferential fieldDecidability of first order theories of the real numbersTarskiseidenberg theoremLinear orderBinary functionCompleteness theoremDiamondsuitDifferential polynomialElsevierEquivalence classGroupModel completeNon negative integerPowersetSeparantStableTarski seidenberg theoremTorsion free group+ 2 more
No articles in this category yet — they're coming.