Related papers: Residue field domination in real closed valued fie…
We prove that every mapping torus of any free group endomorphism is residually finite. We show how to use a not yet published result of E. Hrushovski to extend our result to arbitrary linear groups. The proof uses algebraic self-maps of…
In this short note we give some corollaries of the polynomial inverse function theorem for large fields. We prove inverse and implicit function theorems for Nash maps over large fields, characterize large fields as fields satisfying inverse…
We study in detail the valuation theory of deeply ramified fields and introduce and investigate several other related classes of valued fields. Further, a classification of defect extensions of prime degree of valued fields that was earlier…
In this paper we characterize the congruence associated to the direct sum of all irreducible representations of a finite semigroup over an arbitrary field, generalizing results of Rhodes for the field of complex numbers. Applications are…
We investigate the open Closing Lemma problem for vector fields on the 2-dimensional torus. Under the assumption of bounded type rotation number, the $C^r$ Closing Lemma is verified for smooth vector fields that are area-preserving at all…
We have considered a Fraisse class of finitely generated ordered real fields with a colour predicate. A predimension map is defined on finite sets and the Fraisse limit of the class is axiomatized by a theory $T$, which is proved to be…
In this article we explain the theory of rigid residue complexes in commutative algebra and algebraic geometry, summarizing the background, recent results and anticipated future results. Unlike all previous approaches to Grothendiec…
We prove that a representation from the fundamental group of a closed surface of negative Euler characteristic with values in the isometry group of a Riemannian manifold of sectional curvature bounded by -1 can be dominated by a Fuchsian…
Relatively dominated representations give a common generalization of geometrically finiteness in rank one on the one hand, and the Anosov condition which serves as a higher-rank analogue of convex cocompactness on the other. This note…
In this paper we address the following questions: (i) Let $C\subset \mathbb C^2$ be an orbit of a polynomial vector field which has finite total Gaussian curvature. Is $C$ contained in an algebraic curve? (ii) What can be said of a…
In his unpublished preprint "Definable Valuations" Koenigsmann shows that every field that admits a t-henselian topology is either real closed or separably closed or admits a definable valuation inducing the t-henselian topology. To show…
In the first part of this paper, we consider several natural axioms in urelement set theory, including the Collection Principle, the Reflection Principle, the Dependent Choice scheme and its generalizations, as well as other axioms…
We study when the property that a field is dense in its real and p-adic closures is elementary in the language of rings and deduce that all models of the theory of algebraic fields have this property.
In an extended abstract Ressayre considered real closed exponential fields and integer parts that respect the exponential function. He outlined a proof that every real closed exponential field has an exponential integer part. In the present…
Non-archimedean fields with restricted analytic functions may not support a full exponential function, but they always have partial exponentials defined in convex subrings. On face of this, we study the first order theory of the class of…
If V is a finitely generated variety such that the first-order theory of the finite members of V is decidable, we show that V is residually finite, and in fact has a finite bound on the sizes of subdirectly irreducible algebras. This result…
We investigate $IPA$ - real closed fields, that is, real closed fields which admit an integer part whose non-negative cone is a model of Peano Arithmetic. We show that the value group of an $IPA$ - real closed field is an exponential group…
In this note we show that groups with definable generics in a separably closed valued of finite imperfection degree can be embedded into groups definable in their algebraic closure.
In this paper we study the rank one discrete valuations of the field $k((X_1,..., X_n))$ whose center in $k\lcor\X\rcor$ is the maximal ideal. In sections 2 to 6 we give a construction of a system of parametric equations describing such…
We show that for tame valued fields of equal characteristic with divisible value group, the $C_i$ property lifts from the residue field to the valued field under suitable hypotheses on the residue field. We apply this transfer principle to…