Related papers: A first-countable non-remainder of H
Recently uncovered second derivative discontinuous solutions of the simplest linear ordinary differential equation define not only an nonstandard extension of the framework of the ordinary calculus, but also provide a dynamical…
We show that a first-order sentence is almost surely true in a random group of density d<1/2 if and only if it is true in a non-abelian free group.
We show that if $M$ is a countable transitive model of ZF and if $a,b$ are reals not in $M$, then there is a $G$ generic over $M$ such that $b \in L[a,G]$. We then present several applications such as the following: if $J$ is any countable…
We make use of a finite support product of Jensen forcing to define a model in which there is a countable non-empty lightface $\Pi^1_2$ set of reals containing no ordinal-definable real.
We show that the set of numbers that are $Q$-distribution normal but not simply $Q$-ratio normal has full Hausdorff dimension. It is further shown under some conditions that countable intersections of sets of this form still have full…
We consider a family of integer sequences generated by nonlinear recurrences of the second order, which have the curious property that the terms of the sequence, and integer multiples of the ratios of successive terms (which are also…
We define C sequential optimization numbers, where C is a k+1-tuple vector. We prove that the unsigned Stirling numbers of first kind are (0,1) sequential optimization numbers. Many achievements of the Stirling numbers of first kind can be…
We prove for a large class of fields $F$ that every proper finite extension of $F_{pyth}$, the pythagorean closure of $F$, is not a pythagorean field. This class of fields contains number fields and fields $F$ that are finitely generated of…
A model for nonequilibrium wetting in 1+1 dimensions is introduced. It comprises adsorption and desorption processes with a dynamics which generically does not obey detailed balance. Depending on the rates of the dynamical processes the…
The order sequence of a finite group $G$ is a non-decreasing finite sequence formed of the element orders of $G$. Several properties of order sequences were studied by P. J. Cameron and H. K. Dey in a recent paper that concludes with a list…
Knaster continua and solenoids are well-known examples of indecomposable continua whose composants (maximal arcwise-connected subsets) are one-to-one images of lines. We show that essentially all non-trivial one-to-one composant images of…
We study the nonlinear Schr\"odinger equation (NLS) with bounded initial data which does not vanish at infinity. Examples include periodic, quasi-periodic and random initial data. On the lattice we prove that solutions are polynomially…
We characterize the existence of a nonnegative, sublinear and continuous order-preserving function for a not necessarily complete preorder on a real convex cone in an arbitrary topological real vector space. As a corollary of the main…
We introduce two families of transcendental numbers which we call finite factorial (FF) and partially finite factorial (PFF) numbers respectively, with the former one being subfamily of the latter one. These numbers arise naturally from…
In this paper we construct an uncountable union of line segments $T$ which has full intersection with the sets $(\{ 0\} \times [0, 1]) \cup (\{ 1\} \times [0, 1])\subset\mathbb{R}^2$ but has null two-dimensional measure. Further results are…
In this paper, we consider spaces whose Higson coronae are indecomposable continua. We show that for a non-compact proper metric space $X$ which is coarsely geodesic and has coarse bounded geometry, the Higson corona of $X$ is an…
We to a large extent sort out when does a (first order complete theory) T have a superlimit model in a cardinal lambda . Also we deal with relation notions of being limit.
SAT is not in P, is true and provable in a simply consistent extension B' of a first order theory B of computing, with a single finite axiom characterizing a universal Turing machine. Therefore, P is not equal to NP, is true and provable in…
The idea of this paper is to explore the existence of canonical countably saturated models for different classes of structures. It is well-known that, under CH, there exists a unique countably saturated linear order of cardinality…
We highlight some facts about continued fractions of real cubic irrationalities. This may be thought as a small section in a textbook on continued fractions.