This is a preview. Log in through your library . Abstract We consider valued fields with a distinguished isometry or contractive derivation as valued modules over the Ore ring of difference operators.
The Journal of Symbolic Logic (JSL) was founded in 1936 and it has become the leading research journal in the field. It is issued quarterly. Volume 71, being published during 2006, will consist of ...
Cylindrical Algebraic Decomposition (CAD) is a pivotal algorithmic technique in real algebraic geometry, instrumental in resolving problems expressed in a first‐order language over the reals. By ...
Results that may be inaccessible to you are currently showing.
Hide inaccessible results
Feedback