Related papers: On G\"odel's second incompleteness theorem
We provide a short proof of the 1-dimensional flat chain conjecture.
A constructive proof of the Goedel-Rosser incompleteness theorem has been completed using the Coq proof assistant. Some theory of classical first-order logic over an arbitrary language is formalized. A development of primitive recursive…
We prove that many seemingly simple theories have Borel complete reducts. Specifically, if a countable theory has uncountably many complete 1-types, then it has a Borel complete reduct. Similarly, if $Th(M)$ is not small, then $M^{eq}$ has…
We obtain recurrences for smallest parts functions which resemble Euler's recurrence for the ordinary partition function. The proofs involve the holomorphic projection of non-holomorphic modular forms of weight 2.
We point out that a concise proof of Theorem 2 in the article, 'On a quadratic estimate of Shafer' by L. Zhu contains a small mistake. Correcting this mistake and giving alternative proofs of Theorem 2 is the main aim of this note.
Paradoxes are interesting puzzles in philosophy and mathematics, and they could be even more fascinating, when turned into proofs and theorems. For example, Liar's paradox can be translated into a propositional tautology, and Barber's…
We give a sketch for an alternative proof of a recent result by J. Tseng.
The purpose of this article is to present my new proof of the the construction and the convergence theorem of spectral sequences of filtered complexes, which is much shorter and cleaner than the "standard" proof.
We obtain simple proofs of certain inequalites for bivariate means.
The first and second representation theorems for sign-indefinite, not necessarily semi-bounded quadratic forms are revisited. New straightforward proofs of these theorems are given. A number of necessary and sufficient conditions ensuring…
The main goal of this paper is to develop a concept of approximate differentiability of higher order for subsets of the Euclidean space that allows to characterize higher order rectifiable sets, extending somehow well known facts for…
The set-theoretical model of Goedel's system T is not fully abstract. We also briefly discuss fully abstract models of system T.
We consider infinite measure-preserving non-primitive self-similar tiling systems in Euclidean space $\mathbb R^d$. We establish the second-order ergodic theorem for such systems, with exponent equal to the Hausdorff dimension of a…
This dissertation is a contribution to the project of second-order set theory, which has seen a revival in recent years. The approach is to understand second-order set theory by studying the structure of models of second-order set theories.…
We prove that the bounded arithmetic theory $S^1_2$ is consistent with EXP $\not\subseteq$ P/poly. More generally, we show that certain separations of $V^1_2$ from a theory $T$ imply the consistency of $T$ with EXP $\not\subseteq$ P/poly.…
Let G be an arbitrary Abelian group and let A be a finite subset of G. A has small additive doubling if |A+A| < K|A| for some K>0. These sets were studied in papers of G.A. Freiman, Y. Bilu, I. Ruzsa, M.C.--Chang, B. Green and T.Tao. In the…
Work in progress concerning alternative formalizations of arithmetic.
We present a self-contained elementary and detailed exposition of Mertens' own proof of his theorem on the divergence of the series of the reciprocals of the primes and compare it with the modern proofs. His proof contains explicit…
Not any geometry can be axiomatized. The paradoxical Godel's theorem starts from the supposition that any geometry can be axiomatized and goes to the result, that not any geometry can be axiomatized. One considers example of two close…
We give a new simpler proof of a theorem of Jayne and Rogers.