Related papers: Real Closed Exponential Subfields of Pseudoexponen…
The main result of this paper is that if E is a field extension of finite odd degree over a real field Q, and if E is a repeated radical extension of Q, then every intermediate field is also a repeated radical extension of Q. This paper…
We show that every definable subset of an uncountably categorical pseudofinite structure has pseudofinite cardinality which is polynomial (over the rationals) in the size of any strongly minimal subset, with the degree of the polynomial…
Without assuming the field structure on the additive group of real numbers $\mathbb{R}$ with the usual order $<,$ we explore the fact that every proper subgroup of $\mathbb{R}$ is either closed or dense. This property of subgroups of the…
Pseudoaffine theories are characterized by formal replacement of the level to the fractional number: $k\to\frac{k}{q}$, where $q$ is integer strange to $k(g+k)$ ($g$ - dual Coxeter number). An example of "forbidden" $q$ is considered…
We study valued fields equipped with an automorphism. We prove that all of them have an extension admitting an equivariant cross-section of the valuation. In residual characteristic zero, and in the presence of such a cross-section, we show…
We prove that two finite-dimensional commutative algebras over an algebraically closed field are isomorphic if and only if they give rise to isomorphic representations of the category of finite sets and surjective maps.
We study maximal representations of nonnegative sesquilinear forms in real or complex Hilbert spaces, that are not necessarily closed or even closable. We associate positive self-adjoint operators with such forms, in a sense similar to…
We characterize the polynomial closure of a pseudo-convergent sequence in a valuation domain $V$ of arbitrary rank, and then we use this result to show that the polynomial closure is never topological when $V$ has rank at least $2$.
For certain theories of existentially closed topological differential fields, we show that there is a strong relationship between $\mathcal L\cup\{D\}$-definable sets and their $\mathcal L$-reducts, where $\mathcal L$ is a relational…
We remark on pseudo-elliptic integrals and on exceptional function fields, namely function fields defined over an infinite base field but nonetheless containing non-trivial units. Our emphasis is on some elementary criteria that must be…
Given a real closed field $R$, we identify exactly four proper reducts of $R$ which expand the underlying (unordered) $R$-vector space structure. Towards this theorem we introduce a new notion, of strongly bounded reducts of linearly…
We realize the exceptional superconformal algebra $CK_6$, spanned by 32 fields, inside the Lie superalgebra of pseudodifferential symbols on the supercircle $S^{1|3}$. We obtain a one-parameter family of irreducible representations of…
We investigate the existence of "generic derivations" in exponential fields. We show that exponential fields without additional compatibility conditions between derivation and exponentiation cannot support a generic derivation.
For the space of single-variable monic and centered complex polynomial vector fields of arbitrary degree d, it is proved that any bifurcation which preserves the multiplicity of equilibrium points can be realized as a composition of a…
We give a complete list of the one-dimensional groups definable in algebraically closed valued fields and i the pseudo-local fields, up to a finite index subgroup and a quotient by a finite subgroup.
We study a family of ultraproducts of finite fields with the Frobenius automorphism in this paper. Their theories have the strict order property and TP2. But the coarse pseudofinite dimension of the definable sets is definable and…
We prove that for any given positive integer $\ell$ there are infinitely many imaginary quadratic fields with 2-class group of type $(2,2^\ell)$, and provide a lower bound for the number of such groups with bounded discriminant for…
The purpose of this paper is to contribute to the theory of profinite semigroups by considering the special class consisting of those all of whose finitely generated closed subsemigroups are countable, which are said to be locally…
Let $T$ be a polynomially bounded o-minimal theory extending the theory of real closed ordered fields. Let $K$ be a model of $T$ equipped with a $T$-convex valuation ring and a $T$-derivation. If this derivation is continuous with respect…
It is consistent with ZF set theory that the Euclidean topology on the real line is not sequential, yet every infinite set of reals contains a countably infinite subset. This answers a question of Gutierres.