Tarski–Seidenberg theorem (Q16705451)

From Wikidata
Jump to navigation Jump to search
theorem in mathematical logic
  • generalized Sturm theorem
  • Tarski-Seidenberg theorem
edit
Language Label Description Also known as
English
Tarski–Seidenberg theorem
theorem in mathematical logic
  • generalized Sturm theorem
  • Tarski-Seidenberg theorem

Statements

Identifiers

 
edit
    edit
      edit
        edit
          edit
            edit
              edit
                edit