Tarski–Seidenberg theorem (Q16705451)
Jump to navigation
Jump to search
theorem in mathematical logic
- generalized Sturm theorem
- Tarski-Seidenberg theorem
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Tarski–Seidenberg theorem |
theorem in mathematical logic |
|
Statements
Identifiers
Sitelinks
Wikipedia(2 entries)
- enwiki Tarski–Seidenberg theorem
- ruwiki Теорема Зайденберга — Тарского