English
Related papers

Related papers: Residue field domination in real closed valued fie…

200 papers

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…

Group Theory · Mathematics 2009-11-10 Alexander Borisov , Mark Sapir

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…

Logic · Mathematics 2025-08-15 Erik Walsberg

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…

Commutative Algebra · Mathematics 2023-01-12 Franz-Viktor Kuhlmann , Anna Rzepka

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…

Group Theory · Mathematics 2014-11-25 Jorge Almeida , Stuart Margolis , Benjamin Steinberg , Mikhail Volkov

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…

Dynamical Systems · Mathematics 2010-01-29 Simon Lloyd

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…

Logic · Mathematics 2022-04-29 Mohsen Khani , Massoud Pourmahdian

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…

Algebraic Geometry · Mathematics 2021-02-02 Amnon Yekutieli

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…

Differential Geometry · Mathematics 2015-07-29 Bertrand Deroin , Nicolas Tholozan

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…

Group Theory · Mathematics 2022-03-03 Feng Zhu

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…

Complex Variables · Mathematics 2007-05-23 A. C. Mafra

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…

Logic · Mathematics 2016-03-31 Katharina Dupont

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…

Logic · Mathematics 2024-11-20 Bokai Yao

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.

Logic · Mathematics 2023-03-08 Sylvy Anscombe , Philip Dittmann , Arno Fehm

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…

Logic · Mathematics 2013-01-01 Paola D'Aquino , Julia F. Knight , Salma Kuhlmann , Karen Lange

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…

Logic · Mathematics 2025-02-05 Leonardo Ángel , Xavier Caicedo

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…

Logic · Mathematics 2013-11-13 Ralph McKenzie , Matthew Smedberg

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…

Logic · Mathematics 2018-11-02 Merlin Carl , Paola D'Aquino , Salma Kuhlmann

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.

Logic · Mathematics 2017-11-07 Silvain Rideau

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…

Commutative Algebra · Mathematics 2007-09-04 F. J. Herrera Govantes , M. A. Olalla Acosta , J. L. Vicente Cordoba

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…

Number Theory · Mathematics 2026-03-31 Felipe Gambardella , Konstantinos Kartas