相关论文: Structures Associated with Real Closed Fields and …

To enable the study of open sets in computational approaches to mathematics, lots of extra data and structure on these sets is assumed. For both foundational and mathematical reasons, it is then a natural question, and the subject of this…

We study the restricted isometry property of a matrix that is built from the discrete Fourier transform matrix by collecting rows indexed by quadratic residues. We find an $\epsilon>0$ such that, conditioned on a folklore conjecture in…

Restriction is a natural quasi-order on $d$-way tensors. We establish a remarkable aspect of this quasi-order in the case of tensors over a fixed finite field -- namely, that it is a well-quasi-order: it admits no infinite antichains and no…

Let D\subseteq \mathbb{R} be closed and discrete and f:D^n \to \mathbb{R} be such that f(D^n) is somewhere dense. We show that (\mathbb{R},+,\cdot,f) defines the set of integers. As an application, we get that for every a,b \in \mathbb{R}…

In this paper we show that for a given set of pairwise comaximal ideals $\{X_i\}_{i\in I}$ in a ring $R$ with unity and any right $R$-module $M$ with generating set $Y$ and $C(X_i)=\sum\limits_{k\in\mathbb{N}}\underline{\ell}_M(X_i^{k})$,…

Assuming ZF and its consistency, we study some topological and geometrical properties of the symmetrized max-plus algebra in the absence of the axiom of choice in order to discuss the minimizing vector theorem for finite products of copies…

In the context of $\mathsf{ZF}$, we analyze a version of Hindman's finite unions theorem on infinite sets, which normally requires the Axiom of Choice to be proved. We establish the implication relations between this statement and various…

Let $K$ be a field. The \'etale open topology on the $K$-points $V(K)$ of a $K$-variety $V$ was introduced in our previous work. The \'etale open topology is non-discrete if and only if $K$ is large. If $K$ is separably, real, $p$-adically…

In this paper we continue the development of a new technique for computing elimination ideals by substitution which has been called $Z$-separating re-embeddings. Given an ideal $I$ in the polynomial ring $K[x_1,\dots,x_n]$ over a field $K$,…

This paper aims to establish the theoretical foundation for shift inclusion in mathematical morphology. In this paper, we prove that the morphological opening and closing concerning structuring elements of shift inclusion property would…

Ensemble theories have received a lot of interest recently as a means of explaining a lot of the detailed complexity observed in reality by a vastly simpler description ``every possibility exists'' and a selection principle ({\em Anthropic…

Let $\Sigma (X,\mathbb{C})$ denote the collection of all the rings between $C^*(X,\mathbb{C})$ and $C(X,\mathbb{C})$. We show that there is a natural correlation between the absolutely convex ideals/ prime ideals/maximal…

We study discrete orderings in the real spectrum of a commutative ring by defining discrete prime cones and give an algebro-geometric meaning to some kind of diophantine problems over discretely ordered rings. Also for a discretely ordered…

Let K be a number field. A finite group G is called K-admissible if there exists a G-crossed product K-division algebra. K-admissibility has a necessary condition called K-preadmissibility that is known to be sufficient in many cases. It is…

We show quantifier elimination theorems for real closed valued fields with separated analytic structure and overconvergent analytic structure in their natural one-sorted languages and deduce that such structures are weakly o-minimal. We…

A covering system of the integers is a finite collection of modular residue classes $\{a_m \bmod{m}\}_{m \in S}$ whose union is all integers. Given a finite set $S$ of moduli, it is often difficult to tell whether there is a choice of…

In set theory without the Axiom of Choice, we consider Ingleton's axiom which is the counterpart in ultrametric analysis of the Hahn-Banach axiom. We show that in $ZFA$, set theory without the Axiom of Choice weakened to allow "atoms",…

By a well-known result of Shepherdson, models of the theory IOpen (a first order arithmetic containing the scheme of induction for all quantifier free formulas) are exactly all the discretely ordered semirings that are integer parts of…

This article concerns the Herrlich-Chew theorem stating that a Hausdorff zero-dimensional space is $\mathbb{N}$-compact if and only if every clopen ultrafilter with the countable intersection property in this space is fixed. It also…

Although Zermelo-Fraenkel set theory (ZFC) is generally accepted as the appropriate foundation for modern mathematics, proof theorists have known for decades that virtually all mainstream mathematics can actually be formalized in much…