(Q16705451)

English

Tarski–Seidenberg theorem

theorem in mathematical logic

  • generalized Sturm theorem
  • Tarski-Seidenberg theorem

Statements

Identifiers

 
edit
    edit
      edit
        edit
          edit
            edit
              edit
                edit