Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Dynamical method in algebra: Effective Nullstellens\"atze   We give a general method for producing various effective Null and
Positivstellens\"atze, and getting new Positivstellens\"atze in algebraically
closed valued fields and ordered groups. These various effective
Nullstellens\"atze produce algebraic identities certifying that some geometric
conditions cannot be simultaneously satisfied. We produce also constructive
versions of abstract classical results of algebra based on Zorn's lemma in
several cases where such constructive version did not exist. For example, the
fact that a real field can be totally ordered, or the fact that a field can be
embedded in an algebraically closed field. Our results are based on the
concepts we develop of dynamical proofs and simultaneous collapse.

14
The categories of this paper are: math-ph
18
The categories of this paper are: econ
35
The categories of this paper are: mtrl-th
17
The categories of this paper are: q-fin
9
The categories of this paper are: nlin
4
The categories of this paper are: cond-mat
8
The categories of this paper are: hep-ex
12
The categories of this paper are: nucl-th
36
The categories of this paper are: cmp-lg
0
The categories of this paper are: hep-ph
30
The categories of this paper are: q-alg
5
The categories of this paper are: gr-qc
20
The categories of this paper are: acc-phys
33
The categories of this paper are: plasm-ph
21
The categories of this paper are: adap-org
15
The categories of this paper are: nucl-ex