Related papers: The Aleph-zero or zero dichotomy
We provide proofs for the fact that certain orders have no descending chains and no antichains.
In this paper I introduce a new and intuitive first-order foundational theory (where the concept of set is not primitive) and use it to show that the power set of an infinite set does not exist. In particular, proofs of uncountability of a…
This article contains the proof of a theorem on orthogonal-Pin duality that was cited without proof in a previous article in this journal.
A careful exposition of Zilber's quasiminimal excellent classes and their categoricity is given, leading to two new results: the L_w1,w(Q)-definability assumption may be dropped, and each class is determined by its model of dimension…
In this note, we present an extension to second order nonlinear ordinary differential equations (ODEs) of the Nagumo-like uniqueness criterion for first order ODEs established in [A. Constantin, On Nagumo's theorem, Proc. Japan Acad. 86(A)…
We present new, unified proofs for the cell-like, $\mathbb{Z}/p$-, and $\mathbb{Q}$-resolution theorems. Our arguments employ extensions that are much simpler then those used by our predecessors. The techniques allow us to solve problems…
We study the Borel-reducibility of isomorphism relations of complete first order theories and show the consistency of the following: For all such theories T and T', if T is classifiable and T' is not, then the isomorphism of models of T' is…
This paper has two goals. The first goal is to show how an extension of second-order logic is a natural framework to formalize portions of Aristotle's \emph{Topics} and to bring to the foreground the logical, linguistic and philosophical…
Using recent results in topos theory, two systems of higher-order logic are shown to be complete with respect to sheaf models over topological spaces---so-called ``topological semantics''. The first is classical higher-order logic, with…
Our main result is a succinct counterpoint to Courcelle's meta-theorem as follows: every cw-nontrivial monadic second-order (MSO) property is either NP-hard or coNP-hard over graphs given by succinct representations. Succint representations…
New (infinitely many) rational approximants to \zeta(3) proving its irrationality are given. The recurrence relations for the numerator and denominator of these approximants as well as their continued fraction expansions are obtained. A…
We present a version of G\"odel's Second Incompleteness Theorem for recursively enumerable consistent extensions of a fixed axiomatizable theory, by incorporating some bi-theoretic version of the derivability conditions. We also argue that…
We show that there are $2^{\aleph_0}$ non-isomorphic universal sofic groups. This proves a conjecture of Simon Thomas.
In this paper we first consider hyperfinite Borel equivalence relations with a pair of Borel $\mathbb{Z}$-orderings. We define a notion of compatibility between such pairs, and prove a dichotomy theorem which characterizes exactly when a…
The investigations on higher-order type theories and on the related notion of parametric polymorphism constitute the technical counterpart of the old foundational problem of the circularity (or impredicativity) of second and higher order…
We provide answers to a question brought up by Erd\H{o}s about the construction of Wetzel families in the absence of the continuum hypothesis - a Wetzel family is a family $\mathcal{F}$ of entire functions on the complex plane which…
Answering a question of Browkin, we provide a new unconditional proof that the Dedekind zeta function of a number field $L$ has infinitely many nontrivial zeros of multiplicity at least 2 if $L$ has a subfield $K$ for which $L/K$ is a…
The aim of this paper is to provide a logic-based conceptual analysis of the twin paradox (TwP) theorem within a first-order logic framework. A geometrical characterization of TwP and its variants is given. It is shown that TwP is not…
In the geometry of polynomials, Schoenberg's conjecture, now a theorem, is a quadratic inequality between the zeros and critical points of a polynomial whose zeros have their centroid at the origin. We call its generalizations to other…
We introduce a first-order theory of finite full binary trees and then identify decidable and undecidable fragments of this theory. We show that the analogue of Hilbert`s 10th Problem is undecidable by constructing a many-to-one reduction…