Tarski–Seidenberg theorem

theorem in mathematical logic

Wikidata entity: Q16705451



P31 instance of ... Q65943 (theorem) theorem
P6104 maintained by WikiProject ... Q8487137 (WikiProject Mathematics) WikiProject Mathematics
P138 named after ... Q207534 (Alfred Tarski) Alfred Tarski
P138 named after ... Q330593 (Abraham Seidenberg) Abraham Seidenberg
P2384 statement describes ... Q7449354 (semialgebraic set) semialgebraic set

External Ids
P646Freebase ID/m/04n69ql
P2812MathWorld IDTarskisTheorem
P6366Microsoft Academic ID (discontinued)2779415298
P4215nLab IDTarski-Seidenberg theorem
P7726PlanetMath IDTarskiSeidenbergTheorem

Why not click here or view trends?

log id: 7758018