Related papers: Correction to a theorem of Schoenberg
It is well known that ZFC, despite its usefulness as a foundational theory for mathematics, has two unwanted features: it cannot be written down explicitly due to its infinitely many axioms, and it has a countable model due to the…
We provide constructive versions of Hilbert's syzygy theorem for Z and Z/nZ following Schreyer's method. Moreover, we extend these results to arbitrary coherent strict B\'ezout rings with a divisibility test for the case of finitely…
The present article is a review of recent developments concerning the notion of F{\o}lner sequences both in operator theory and operator algebras. We also give a new direct proof that any essentially normal operator has an increasing…
Consider a particle moving through a random medium, which consists of spherical obstacles, randomly distributed in R^d. The particle is accelerated by a constant external field; when colliding with an obstacle, the particle inelastically…
We consider both finite and infinite power chi expansions of $f$-divergences derived from Taylor's expansions of smooth generators, and elaborate on cases where these expansions yield closed-form formula, bounded approximations, or analytic…
We give partial results on the factorization conjecture on codes proposed by Schutzenberger. We consider finite maximal codes C over the alphabet A = {a, b} with C \cap a^* = a^p, for a prime number p. Let P, S in Z <A>, with S = S_0 + S_1,…
The von Weizs\"{a}cker theorem states that every sequence of nonnegative random variables has a subsequence which is Ces\`{a}ro convergent to a nonnegative random variable which might be infinite. The goal of this note is to provide a…
We present the proof of the equivalence theorem in quantum field theory which is based on a formulation of this problem in the field-antifield formalism. As an example, we consider a model in which a different choices of natural finite…
A dependent theory is a (first order complete theory) T which does not have the independence property. A main result here is: if we expand a model of T by the traces on it of sets definable in a bigger model then we preserve its being…
In this paper, we give a new proof and an extension of the following result of B\'ezivin. Let $f:\B{N}\to K$ be a multiplicative function taking values in a field $K$ of characteristic 0 and write $F(z)=\sum_{n\geq 1} f(n)z^n\in K[[z]]$ for…
The Schur Theorem says that if $G$ is a group whose center $Z(G)$ has finite index $n$, then the order of the derived group $G'$ is finite and bounded by a number depending only on $n$. In the present paper we show that if $G$ is a finite…
The canonization theorem says that for given m,n for some m^* (the first one is called ER(n;m)) we have: for every function f with domain [{1, ...,m^*}]^n, for some A in [{1, ...,m^*}]^m, the question of when the equality f({i_1,…
Katona's intersection theorem states that every intersecting family $\mathcal F\subseteq[n]^{(k)}$ satisfies $\vert\partial\mathcal F\vert\geq\vert\mathcal F\vert$, where $\partial\mathcal F=\{F\setminus x:x\in F\in\mathcal F\}$ is the…
In this paper we prove three theorems about the theory of Borel sets in models of ZF without any form of the axiom of choice. We prove that if B is a G-delta-sigma set, then either B is countable or B contains a perfect subset. Second, we…
In this paper, we shall prove the Chung-Feller Theorem in several ways. We provide an inductive proof, bijective proof, and proofs using generating functions, and the Cycle Lemma of Dvoretzky and Motzkin.
Pairs of consecutive integers have the same height in the Collatz problem with surprising frequency. Garner gave a conjectural family of conditions for exactly when this occurs. Our main result is an infinite family of counterexamples to…
Given a simple vertex algebra A and a reductive group G of automorphisms of A, the invariant subalgebra A^G is strongly finitely generated in most examples where its structure is known. This phenomenon is subtle, and is generally not true…
We prove theorems of interest about the recently given $\Lambda^{r}$-strong convergence. We extend the results of F. M\'oricz [On $\Lambda$-strong convergence of numerical sequences and Fourier series, Acta Math.~Hungar., 54 (1989),…
An attempt to come closer to a resolution of the Collatz conjecture is presented. The central idea is the formation of a tree consisting of positive odd numbers with number 1 as root. Functions for generating the tree from the root are…
Recently, a new fractional derivative called the conformable fractional derivative is given on based basic limit definition derivative in [4]. Then, the fractional versions of chain rules, exponential functions, Gronwalls inequality,…