相关论文: There may be no nowhere dense ultrafilter

Let $M$ be a finitely generated module on a local ring $R$ and $\F: M_0\subset M_1\subset...\subset M_t=M$ a filtration of submodules of $M$ such that $ d_o<d_1< ... <d_t=d$, where $d_i=\dim M_i$. This paper is concerned with a non-negative…

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…

The Golomb-Welch conjecture states that there are no perfect $e$-error-correcting Lee codes in $\mathbb{Z}^n$ ($PL(n,e)$-codes) whenever $n\geq 3$ and $e\geq 2$. A special case of this conjecture is when $e=2$. In a recent paper of A.…

We will show that there is no ZFC example of a set distinguishing between universally null and perfectly meager sets.

Given a nonnegative function $\psi : \N \to \R $, let $W(\psi)$ denote the set of real numbers $x$ such that $|nx -a| < \psi(n) $ for infinitely many reduced rationals $a/n (n>0) $. A consequence of our main result is that $W(\psi)$ is of…

Let $(M,\scott X) \models \ACA$ be such that $P_\scott X$, the collection of all unbounded sets in $\scott X$, admits a definable complete ultrafilter and let $T$ be a theory extending first order arithmetic coded in $\scott X$ such that…

For a compactification $\alpha X$ of a Tychonoff space $X$, the algebra of all functions $f\in C(X)$ that are continuously extendable over $% \alpha X$ is denoted by $C_{\alpha}(X)$. It is shown that, in a model of $\textbf{ZF}$, it may…

A crucial theorem in Reduced Density Matrix Functional Theory (RDMFT) suggests that the universal pure and ensemble functional coincide on their common domain of pure N-representable one-matrices. We refute this by a comprehensive analysis…

The Filter Extension Principle (FEP) asserts that every filter can be extended to an ultrafilter, which plays a crucial role in the quest for non-principal ultrafilters. Non-principal ultrafilters find widespread applications in logic, set…

In this paper we show that for every $2\leq n\in \mathbb{N}$, the statement "there is an $n$-entangled set, but there are no $n+1$-entangled sets" is consistent. We also prove some theorems which improve our understanding of entangled sets…

A divisibility relation on ultrafilters is defined as follows: ${\cal F}\hspace{1mm}\widetilde{\mid}\hspace{1mm}{\cal G}$ if and only if every set in $\cal F$ upward closed for divisibility also belongs to $\cal G$. After describing the…

We prove general sufficient and necessary conditions for the partition regularity of Diophantine equations, which extend the classic Rado's Theorem by covering large classes of nonlinear equations. Sufficient conditions are obtained by…

For every filter $\mathcal F$ on $\mathbb N$, we introduce and study corresponding uniform $\mathcal F$-boundedness principles for locally convex topological vector spaces. These principles generalise the classical uniform boundedness…

We present three models concerning Tukey types of ultrafilters on $\omega$. The first model is built via a countable support iteration, and we show there is no basically generated ultrafilter in such model. The second and third models are…

We characterise purely $n$-unrectifiable subsets $S$ of a complete metric space $X$ with finite Hausdorff $n$-measure by studying arbitrarily small perturbations of elements of the set of all bounded 1-Lipschitz functions $f\colon X \to…

We make use of a finite support product of $\omega_1$ clones of the Jensen minimal $\varPi^1_2$ singleton forcing to obtain a model of ZFC in which every non-empty lightface analytically definable set of reals contains a lightface…

It is shown that if $f$ or $1/f$ is a real entire function of infinite order of growth, with only real zeros, then $f''+\omega f$ has infinitely many non-real zeros for any $\omega > 0$.

It is proved in $\mathsf{ZF}$ (without the axiom of choice) that, for all infinite sets $M$, there are no surjections from $\omega\times M$ onto $\mathscr{P}(M)$.

Let $g \in L^2(\mathbb{R})$ be a rational function of degree $M$, i.e. there exist polynomials $P, Q$ such that $g = {{P} \over {Q}}$ and $deg(P) < deg(Q) \leq M$. We prove that for any $\varepsilon>0$ and any $M \in \mathbb{N}$ there…

We prove in ZFC the existence of a definable, countably saturated elementary extension of the reals. It seems that it has been taken for granted that there is no distinguished, definable nonstandard model of the reals. (This means a…