First Page | Document Content | |
---|---|---|
![]() Date: 1999-03-08 15:14:53Model theory Real algebraic geometry O-minimal theory Tarski–Seidenberg theorem Pfaffian function Real closed field Definable set Semialgebraic set Quantifier elimination Abstract algebra Mathematics Mathematical logic | Add to Reading List |