Related papers: On a theorem of Shapiro
We extend the Schoenberg correspondence for universal independences by Sch\"urmann \& Vo{\ss} to the multivariate setting of Manzel \& Sch\"urmann, covering, e.g., Voiculescu's bifreeness as well as Bo{\.z}ejko \& Speicher's c-free…
Complete Boolean algebras proved to be an important tool in topology and set theory. Two of the most prominent examples are B(kappa), the algebra of Borel sets modulo measure zero ideal in the generalized Cantor space {0,1}^kappa equipped…
A Kaufmann model is an $\omega_1$-like, recursively saturated, rather classless model of $\mathrm{PA}$ or $\mathrm{ZF}$. Such models were constructed by Kaufmann under the combinatorial principle $\diamondsuit_{\omega_1}$ and Shelah showed…
We give a new proof of a lemma by L. Shepp, that was used in connection to random coverings of a circle.
Independence of premise principles play an important role in characterizing the modified realizability and the Dialectica interpretations. In this paper we show that a great many intuitionistic set theories are closed under the…
Shidlovskii has given a linear independence measure of values of $E$-functions with rational Taylor coefficients at a rational point, not a singularity of the underlying differential system satisfied by these $E$-functions. Recently,…
We provide a new, elementary proof of the multiplicative independence of pairwise distinct $\mathrm{GL}_2^+(\mathbb{Q})$-translates of the modular $j$-function, a result due originally to Pila and Tsimerman. We are thereby able to…
The notion of a complete type can be generalized in a natural manner to allow assigning a value in an arbitrary Boolean algebra B to each formula. We show some basic results regarding the effect of the properties of B on the behavior of…
Given a module $X$ and a regular cardinal $\kappa$ we study various notions of $(\kappa,\mathrm{Add}(X))$-freeness and $(\kappa,\mathrm{Add}(X))$-separability. Bearing on appropriate set-theoretic assumptions, we construct a non-trivial…
In this article we investigate different forms of multiplicative independence between the sequences $n$ and $\lfloor n \alpha \rfloor$ for irrational $\alpha$. Our main theorem shows that for a large class of arithmetic functions $a, b…
We prove a generalization of the Shapiro-Shapiro conjecture on Wronskians of polynomials, allowing the Wronskian to have complex conjugate roots. We decompose the real Schubert cell according to the number of real roots of the Wronski map,…
Using formulas for certain quantities involving stable vectors, due to I. Molchanov, and in some cases utilizing the so-called divide and color model, we prove that certain families of integrals which, ostensibly, depend on a parameter are…
We show that in Zermelo-Fraenkel Set Theory without the Axiom of Choice a surjectively modified continuum function $\theta(\kappa)$ can take almost arbitrary values for all infinite cardinals. This choiceless version of Easton's Theorem is…
This paper gives a self-contained and complete proof of the isomorphism of freely generated monoids extracted from Temperley-Lieb algebras with monoids made of Kauffman's diagrams.
A recently proposed axiom system for Andr\'e's central translation structures is improved upon. First, one of its axioms turns out to be dependent (derivable from the other axioms). Without this axiom, the axiom system is indeed…
We address several questions of Donald Monk related to irredundance and spread of Boolean algebras, gaining both some ZFC knowledge and consistency results. We show in ZFC that irr(B_0 times B_1)= max(irr(B_0),irr(B_1)). We prove…
We give a new elementary proof of the following theorem: if all critical points of a rational function g belong to the real line then there exists a fractional linear transformation L such that L(g) is a real rational function. Then we…
The original theme of the paper is the existence proof of ``there is < eta_alpha : alpha < lambda > which is a (lambda,J)-sequence for < I_i:i<delta >, a sequence of ideals. This can be thought of as in a generalization to Luzin sets and…
In 1985, Yu. V. Nesterenko produced a criterion for linear independence, which is a variant of Siegel's. While Siegel uses upper bounds on full systems of forms, Nesterenko uses upper and lower bounds on sufficiently dense sequences of…
We show that the theory ZFC-, consisting of the usual axioms of ZFC but with the power set axiom removed-specifically axiomatized by extensionality, foundation, pairing, union, infinity, separation, replacement and the assertion that every…