Related papers: A first-countable non-remainder of H

It is well-known that the first order Peano axioms PA have a continuum of non-isomorphic countable models. The question, how close to being isomorphic such countable models can be, seems to be less investigated. A measure of closeness to…

We extend the theory of infinite-exponent partition relations to arbitrary linear order types, with a particular focus on the real number line. We give a complete classification of all consistent partition relations on the real line with…

The celebrated Trakhtenbrot's theorem states that the set of finitely valid sentences of first-order logic is not computably enumerable. In this note we will extend this theorem by proving that the finite satisfiability problem of any…

Strict-Tolerant Logic (ST) underpins naive theories of truth and vagueness (respectively including a fully disquotational truth predicate and an unrestricted tolerance principle) without jettisoning any classically valid laws. The classical…

A continuum is a compact connected metric space. A non-empty closed subset $B$ of a continuum $X$ does not block $x\in X\setminus B$ provided that the union of all subcontinua of $X$ containing $x$ and contained in $X\setminus B$ is dense…

We present a constant and a recursive relation to define a sequence $f_n$ such that the floor of $f_n$ is the $n$th prime. Therefore, this constant generates the complete sequence of primes. We also show this constant is irrational and…

A usual dichotomy is that in many cases, reasonably definable sets, satisfy the CH, i.e. if they are uncountable they have cardinality continuum. A strong dichotomy is when: if the cardinality is infinite it is continuum as in [Sh:273]. We…

For any particularly interesting theorem one proof is never enough. Instead, the first proof sets the challenge to find a more elegant method that illuminates subtle features of the math, is simpler to understand, or even avoids using…

This article explores the model-dependent nature of set cardinality, emphasizing that cardinality is not absolute but varies across different axiomatic frameworks. Although Cantor's diagonal argument shows the real numbers are…

An algebraic criterion that is sufficient to establish the existence of certain a priori estimates for the solution of first-order homogeneous linear characteristic problems is derived. Estimates of such kind ensure the stability of the…

We show there is no categorical metric continuum. This means that for every metric continuum X there is another metric continuum Y such that X and Y have (countable) elementarily equivalent bases but X and Y are not homeomorphic. As an…

This article critically reappraises arguments in support of Cantor's theory of transfinite numbers. The following results are reported: i) Cantor's proofs of nondenumerability are refuted by analyzing the logical inconsistencies in…

We prove that, for any Hausdorff continuum X, if dim X > 1 then the hyperspace C(X) of subcontinua of X is not a C-space; if dim X = 1 and X is hereditarily indecomposable then dim C(X) = 2 or C(X) is not a C-space. This generalizes results…

Answering a question of P. Bankston, we show that the pseudoarc is a co-existentially closed continuum. We also show that $C(X)$, for $X$ a nondegenerate continuum, can never have quantifier elimination, answering a question of the the…

We derive a formula for the reliability of a $d$-dimensional consecutive-$k$-out-of-$n$:F system. That is, a formula for the probability that an $n_1 \times \ldots \times n_d$ array whose entries are (independently of each other) $0$ with…

We present distributions of countable models and correspondent structural characteristics of complete theories with continuum many types: for prime models over finite sets relative to Rudin-Keisler preorders, for limit models over types and…

We show that if $A=\{a_1 < a_2 < \ldots < a_k\}$ is a set of real numbers such that the differences of the consecutive elements are distinct, then for and finite $B \subset \mathbb{R}$, $$|A+B|\gg |A|^{1/2}|B|.$$ The bound is tight up to…

Let $X$ be a Banach space. We study the circumstances under which there exists an uncountable set $\mathcal A\subset X$ of unit vectors such that $\|x-y\|>1$ for distinct $x,y\in \mathcal A$. We prove that such a set exists if $X$ is…

We prove some statements of left- and right-continuous variants of generalized inverses of non-decreasing real functions.

We answer several questions of V. Tka\v{c}uk from [Point-countable $\pi$-bases in first countable and similar spaces, Fund. Math. 186 (2005), pp. 55--69.] by showing that (1) there is a ZFC example of a first countable, 0-dimensional…