Related papers: A nonstandard proof for Szpilrajn's theorem
We extend to several variables an earlier result of ours, according to which an entire function of one variable of sufficiently small exponential type, having all derivatives of even order taking integer values at two points, is a…
Many theorems of mathematics have the form that for a certain problem, e.g. a differential equation or polynomial (in)equality, there exists a solution. The sequential version then states that for a sequence of problems, there is a sequence…
We give a complete self-contained proof of Statman's finite completeness theorem and of a corollary of this theorem stating that the $\lambda$-definability conjecture implies the higher-order matching conjecture.
We prove a noetherian criterion for a sequence of modules with linear maps between them. This generalizes a noetherian criterion of Gan and Li for infinite EI categories. We apply our criterion to the linear categories associated to certain…
In this paper we study the existence of continuous solutions and their constructions for a second order iterative functional equation, which involves iterate of the unknown function and a nonlinear term. Imposing Lipschitz conditions to…
There is a sentence in the language of IST, Nelson's internal set theory, which is not equivalent in IST to a sentence in the ZFC language. Thus the Reduction algorithm of Nelson, that converts bounded IST formulas with standard parameters…
We continue the development of the infinitesimal deformation theory of pasting diagrams of k-linear categories begun in Yetter, D.N. "On Deformations of Pasting Diagrams", Theory and Applications of Categories 22 (2009) 24-53. In that…
We show that the existence of a Pi^{1}_{N}-indescribable cardinal over the Zermelo-Fraenkel's set theory ZF is proof-theoretically reducible to iterations of Mostowski collapsings and lower Mahlo operations. Furthermore we describe a…
The Sz\'asz-Mirakyan operator is known as a positive linear operator which uniformly approximates a certain class of continuous functions on the half line. The purpose of the present paper is to find out limiting behaviors of the iterates…
This paper is concerned with the extent to which the Skolem-Bang theorems in Diophantine approximations generalise from the standard setting of $<R,Z>$ to structures of the form $<F,I>$, where $F$ is an ordered field and $I$ is an integer…
Generalised quantifiers, which include Henkin's branching quantifiers, have been introduced by Mostowski and Lindstr\"om and developed as a substantial topic application of logic, especially model theory, to linguistics with work by…
This paper studies a partial order on the general linear group GL(V) called the absolute order, derived from viewing GL(V) as a group generated by reflections, that is, elements whose fixed space has codimension one. The absolute order on…
We prove that any quasigroup admissing complete or quasicomplete mapping has a prolongation to a quasigroup having one element more.
We establish a law of the iterated logarithm (LIL) for the set of real numbers whose $n$-th partial quotient is bigger than $\alpha_n$, where $(\alpha_n)$ is a sequence such that $\sum 1/\alpha_n$ is finite. This set is shown to have…
We study the reverse mathematics of interval orders. We establish the logical strength of the implications between various definitions of the notion of interval order. We also consider the strength of different versions of the…
The Sylvester-Gallai Theorem, stated as a problem by J. J. Sylvester in 1893, asserts that for any finite, noncollinear set of points on a plane, there exists a line passing through exactly two points of the set. First, it is shown that for…
We provide a new proof of a important theorem in the Lagrangian formalism about necessary and sufficient conditions for a second-order variational system of equations to follow from a first-order Lagrangian.
We generalise the reconstruction theorem of Stern, Sazdjian, and Fuchs based on the dispersion relations to the case of the (2 -> 2) scattering of all the pseudoscalar octet mesons (pi, K, eta). We formulate it in a general way and include…
In the theory of conditional sets, many classical theorems from areas such as functional analysis, probability theory or measure theory are lifted to a conditional framework, often to be applied in areas such as mathematical economics or…
We consider a slightly modified form of the standard Rudin-Keisler order on ideals and demonstrate the existence of complete (with respect to this order) ideals in various projective classes. Using our methods, we obtain a simple proof of…