Related papers: The ZFC analogue of the Halpern-Levy theorem
We investigate the asymptotic densities of theorems provable in Zermelo-Fraenkel set theory ZF and its extension ZFC including the axiom of choice. Assuming a canonical De Bruijn representation of formulae, we construct asymptotically large…
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…
In this paper, several generalizations of the classical Halpern-L\"{a}uchli Theorem are proven for Marczewski and Ellentuck structures using only combinatorial methods.
The Halpern-L\"auchli theorem, a combinatorial result about trees, admits an elegant proof due to Harrington using ideas from forcing. In an attempt to distill the combinatorial essence of this proof, we isolate various partition principles…
We obtain comparison theorems for non-negative solutions of quasilinear elliptic inequalities
The mean flux theorems are proved for solutions of the Helmholtz equation and its modified version. Also, their converses are considered along with some other properties which generalise those that guarantee harmonicity.
We address ZFC inequalities between some cardinal invariants of the continuum, which turned to be true in spite of strong expectations given by [RoSh:470].
G\"odel's first and second incompleteness theorems are corner stones of modern mathematics. In this article we present a new proof of these theorems for ZFC and theories containing ZFC, using Chaitin's incompleteness theorem and a very…
This paper deals with the solution of unified fractional reaction-diffusion systems. The results are obtained in compact and elegant forms in terms of Mittag-Leffler functions and generalized Mittag-Leffler functions, which are suitable for…
We characterize nonstandard models of ZF (of arbitrary cardinality) that can be expanded to Goedel-Bernays class theory plus $\Delta^1_1$-Comprehension. We also characterize countable nonstandard models of ZFC that can be expanded to…
We present a proof of the Chevalley-Weil Theorem that is somewhat different from the proofs appearing in the literature and with somewhat weaker hypotheses, of purely topological type. We also provide a discussion of the assumptions, and an…
We investigate the effects of various forcings on several forms of the Halpern-L\"auchli Theorem. For inaccessible $\kappa$, we show they are preserved by forcings of size less than $\kappa$. Combining this with work of Zhang in…
We use Beltrami's theorem as an excuse to present some arguments from parabolic differential geometry without any of the parabolic machinery.
In this paper a new conjecture equivalent to Collatz conjecture is presented. In particural, showing that (all) the solution(s) of newly introduced iterative functional equation(s) have a given property is equivalent to prove Collatz…
We construct, in ZFC, a sequence of Boolean algebras for which the product of Lengths is strictly smaller than the Length of the product algebra.
We demonstrate that theories $\text{Z}^-$, $\text{ZF}^-$, $\text{ZFC}^-$ (minus means the absence of the Power Set axiom) and $\text{PA}_2$, $\text{PA}_2^-$ (minus means the absence of the Countable Choice schema) are equiconsistent to each…
We study a concept of evasion and prediction associated with slaloms, called slalom prediction. This article collects ZFC-provable properties on the slalom prediction.
In this paper we discuss an analogue of the Kac-Weisfeiler conjecture for a certain class of almost commutative algebras. In particular, we prove the Kac-Weisfeiler type statement for rational Cherednik algebras.
A proof of G\"odel's incompleteness theorem is given. With this new proof a transfinite extension of G\"odel's theorem is considered. It is shown that if one assumes the set theory ZFC on the meta level as well as on the object level, a…
We review the function theoretical properties of the Mittag-Leffler function $E_{a,b}\left( z\right) $ in a self-contained manner, but also add new results; more than half is new!