相关论文: Lusin sequences under CH and under Martin's Axiom
We show that there is always a uniformly antisymmetric f:A-> {0,1} if A subset R is countable. We prove that the continuum hypothesis is equivalent to the statement that there is an f:R-> omega with |S_x| <= 1 for every x in R. If the…
Assume GCH and let $\lambda$ denote an uncountable cardinal. We prove that if $\square_\lambda$ holds, then this may be witnessed by a coherent sequence $< C_\alpha | \alpha < \lambda^+ >$ with the following remarkable guessing property:…
We show that the continuum hypothesis implies there exists a Lindelof space X such that X x X is the union of two metrizable subspaces but X is not metrizable. This gives a consistent solution to a problem of Balogh, Gruenhage, and Tkachuk.…
Let omega be the first infinite ordinal (or the set of all natural numbers) with the usual order <. In section 1 we show that, assuming the consistency of a supercompact cardinal, there may exist an ultrapower of omega, whose cardinality is…
The Suslin hypothesis states that there are no nonseparable complete dense linear orderings without endpoints which have the countable chain condition. $\mathsf{ZF + AD^+ + V = L(\mathscr{P}(\mathbb{R}))}$ proves the Suslin hypothesis. In…
Suppose $a_n$ is a real, nonnegative sequence that does not increase exponentially. For any $p<1$ we contruct a Lebesgue measurable set $E \subseteq \mathbb{R}$ which has measure at least $p$ in any unit interval and which contains no…
We introduce the $\Sigma_1$-definable universal finite sequence and prove that it exhibits the universal extension property amongst the countable models of set theory under end-extension. That is, (i) the sequence is $\Sigma_1$-definable…
Some physical consequences of the negation of the continuum hypothesis are considered. It is shown that quantum and classical mechanics are component parts of the multicomponent description of the set of variable infinite cardinality.…
We deduce the existence of a maximal irreducibility measure for a Markov chain from Zorn's lemma.
We provide proofs for the fact that certain orders have no descending chains and no antichains.
Recently it has been proved that, assuming that there is an almost disjoint family of cardinality (2^{\mathfrak c}) in (\mathfrak c) (which is assured, for instance, by either Martin's Axiom, or CH, or even $2^{<\mathfrak c=\mathfrak c$})…
Two structures are said to be equimorphic if each embeds in the other. Such structures cannot be expected to be isomorphic, and in this paper we investigate the special case of linear orders, here also called chains. In particular we…
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.
We construct a measure on omega-one^2 over the ground model in the forcing extension of a measure algebra, and investigate when measure theoretic properties of some measurable colouring of omega-one^2 imply the existence of an uncountable…
We survey the technique of constructing customized models of size continuum in omega steps and illustrate the method by giving new proofs of mostly old results within this rubric. One new theorem, which is joint with Saharon Shelah, is that…
It is well-known that any sequence of at least N integers contains a subsequence whose sum is 0 (mod N). However, there can be very few subsequences with this property (e.g. if the initial sequence is just N 1's, then there is only one…
We use ``iterated square sequences'' to show: There is an L-definable partition n: L-singulars --> omega such that if M is an inner model without 0#: (a) For some n, M satisfies that {alpha | n(alpha)=n} is stationary. (b) For each n there…
Let $\mathcal S$ be a multiset of integers. We say $\mathcal S$ is a $\textit{zero-sum sequence}$ if the sum of its elements is 0. We study zero-sum sequences whose elements lie in the interval $[-k,k]$ such that no subsequence of length…
It is well-known that for any non-constant polynomial $P$ with integer coefficients the sequence $(P(n))_{ n\in \mathbb N}$ has the property that there are infinitely many prime numbers dividing at least one term of this sequence.…
The two closely related Lorentz-invariant partial orders of space-time are distinguished with respect to the existence of antichain cutsets and the possibility of grading. World lines of particles with or without mass are the maximal chains…