Related papers: A first-countable non-remainder of H
We prove that there is a compact separable continuum that (consistently) is not a remainder of the real line.
We give the first example of a non-linear residually finite 1-related group: < a, t | a^{t^2}=a^2>.
We prove that the Cech-Stone remainder of the real line has a family of 2^c mutually non-homeomorphic subcontinua. We also exhibit a consistent example of a first-countable continuum that is not a continuous image of this remainder.
Continuity of measure asserts that the measure of the union of an increasing sequence of sets is equal to the supremum of the measures of those sets. We provide counter examples in the case of uncountable unions. We construct the first…
We indicate a way of distinguishing between structures, for which, two structures are said to be separable.Being separable implies being non-isomorphic. We show that for any first order theory $T$ in a countable language, if it has an…
Assuming the Continuum Hypothesis, there is a compact first countable connected space of weight aleph_1 with no totally disconnected perfect subsets. Each such space, however, may be destroyed by some proper forcing order which does not add…
We give a concrete example of a co-existential map between continua that is not confluent.
Indecomposable continua with one composant are $\textit{large}$ in the sense of being non-metrisable. We adapt the method of Smith $[18]$ to construct an example which is $\textit{small}$ in the sense of being separable.
A hereditarily indecomposable tree-like continuum without the fixed point property is constructed. The example answers a question of Knaster and Bellamy.
In this paper, we show that the existence of certain first-countable compact-like extensions is equivalent to the equality between corresponding cardinal characteristics of the continuum. For instance, $\mathfrak b=\mathfrak s=\mathfrak c$…
We address a problem posed in [1] by demonstrating through an example that, in the absence of separability, the property of sequential cone compactness does not generally imply cone compactness.
The proofs that the real numbers are denumerable will be shown, i.e., that there exists one-to-one correspondence between the natural numbers $N$ and the real numbers $\Re$. The general element of the sequence that contains all real numbers…
It is proved that the first-order theory of the structure (N,mod) is undecidable. Here mod denotes the operation of computing the remainder for any division between positive integers; i.e. x mod y is the remainder obtained by the division x…
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 paper presents a sufficient condition for a continuum in $R^n$ to be embeddable in $R^n$ in such a way that its image is not an attractor of any iterated function system. An example of a continuum in $R^2$ that is not an attractor of…
We give a self-contained proof of the preservation theorem for proper countable support iterations known as "tools-preservation," "Case A" or "first preservation theorem" in the literature. We do not assume that the forcings add reals.
The article contains a construction of a self-similar dendryte which cannot be the attractor of any self-similar zipper.
The scientific question resolved by this paper is that the continuity equation appears as an equivalent language of the system of first-order linear ODE. The main result characterizes the fact that the continuity equation contains…
We study first-order concatenation theory with bounded quantifiers. We give axiomatizations with interesting properties, and we prove some normal-form results. Finally, we prove a number of decidability and undecidability results.
This paper is concerned with conditions under which a metric continuum (a compact connected metric space) contains a non-degenerate chainable continuum.