English
Related papers

Related papers: Strong Measure Zero Sets on $2^\kappa$ for $\kappa…

200 papers

We study the exact Hausdorff and packing dimensions of the $prime$ $Cantor$ $set$, $\Lambda_P$, which comprises the irrationals whose continued fraction entries are prime numbers. We prove that the Hausdorff measure of the prime Cantor set…

Number Theory · Mathematics 2023-05-22 Tushar Das , David Simmons

The main purpose of this paper is to find the fixed point in such cases where existing literature remain silent. In this paper we introduce partial completeness, a new type of contraction and many other definitions. Using this approach the…

Functional Analysis · Mathematics 2018-03-23 Tawseef Rashid , Qamrul Haque Khan

The fact that there are quantum observables without a simultaneous measurement is one of the fundamental characteristics of quantum mechanics. In this work we expand the concept of joint measurability to all kinds of possible measurement…

Quantum Physics · Physics 2014-02-19 Teiko Heinosaari , Takayuki Miyadera , Daniel Reitzner

We prove that it is relatively consistent with ZFC that in any perfect Polish space, for every nonmeager set A there exists a nowhere dense Cantor set C such that A intersect C is nonmeager in C. We also examine variants of this result and…

Logic · Mathematics 2007-05-23 Maxim R. Burke , Arnold W. Miller

In the work it is shown that the space of idempotent probability measures with compact supports is kappa-metrizable if the given Tychonoff space is kappa-metrizable. It is constructed a series of max-plus-convex subfunctors of the functor…

General Topology · Mathematics 2019-05-23 Azad Yangibayevich Ishmetov

We study the continuous reducibility of isomorphism relations in the space of regresive functions in $\kappa^\kappa$. We show for inaccessible $\kappa$, that if $\mathcal{T}$ is a theory with less than $\kappa$ non-isomorphic models of size…

Logic · Mathematics 2026-05-26 Ido Feldman , Miguel Moreno

For every uncountable regular $\kappa$, we give two examples of proper posets which turn improper in some $\kappa$-closed forcing extension.

Logic · Mathematics 2019-08-06 Yasuo Yoshinobu

This article is concerned with measure equivalence and uniform measure equivalence of locally compact, second countable groups. We show that two unimodular, locally compact, second countable groups are measure equivalent if and only if they…

Group Theory · Mathematics 2019-11-19 Juhani Koivisto , David Kyed , Sven Raum

We develop a unified framework for iterated symmetric extensions with countable support and, more generally, with $<\kappa$-support. Set-length iterations are treated uniformly, and when the iteration template is first-order definable over…

Logic · Mathematics 2026-01-26 Frank Gilson

Let $\mathcal{N}$ be the $\sigma$-ideal of the null sets of reals. We introduce a new property of forcing notions that enable control of the additivity of $\mathcal{N}$ after finite support iterations. This is applied to answer some open…

Logic · Mathematics 2025-02-05 Miguel A. Cardona , Miroslav Repický , Saharon Shelah

With a new proof approach we prove in a more general setting the classical convergence theorem that almost everywhere convergence of measurable functions on a finite measure space implies convergence in measure. Specifically, we generalize…

General Mathematics · Mathematics 2020-05-15 Yu-Lin Chou

We investigate the statement that the Lebesgue measure defined on all subsets of the Cantor space exists. As base system we take $\mathsf{ACA}_0^\omega + (\mu)$. The system $\mathsf{ACA}_0^\omega$ is the higher order extension of Friedman's…

Logic · Mathematics 2015-04-09 Alexander P. Kreuzer

We continue [Sh:b, Ch XIII] and [Sh:410]. Let W be an inner model of ZFC. Let kappa be a cardinal in V. We say that kappa-covering holds between V and W iff for all X in V with X subseteq ON and V models |X|< kappa, there exists Y in W such…

Logic · Mathematics 2016-09-06 Saharon Shelah

Let $\nu$ be a vector measure defined on a $\sigma$-algebra $\Sigma$ and taking values in a Banach space. We prove that if $\nu$ is homogeneous and $L_1(\nu)$ is non-separable, then there is a vector measure $\tilde{\nu}:\Sigma \to…

Functional Analysis · Mathematics 2024-04-09 José Rodríguez

We study the notion of tightly stationary sets which was introduced by Foreman and Magidor in \cite{ForMag-MS}. We obtain two consistency results which show that it is possible for a sequence of regular cardinals $( \kappa_n )_{n < \omega}$…

Logic · Mathematics 2017-10-10 Omer Ben-Neria

Given a strong limit cardinal $\lambda$ of countable cofinality, we show that if every $\lambda$-coanalytic subset of the generalised Cantor space ${}^{\lambda}2$ has the $\lambda$-$\mathsf{PSP}$, then there is an inner model with…

Logic · Mathematics 2025-04-23 Fernando Barrera , Vincenzo Dimonte , Sandra Müller

We study the consistency strength of Lebesgue measurability for $\Sigma^1_3$ sets over Zermelo set theory ($Z$) in a completely choiceless context. We establish a result analogous to the Solovay-Shelah theorem.

Logic · Mathematics 2023-09-12 Haim Horowitz , Saharon Shelah

We extend A. Miller's framework of $\alpha$-forcing to the case of a regular uncountable cardinal $\kappa = \kappa^{<\kappa}$ and apply it to study the structure of the $\kappa$-Borel hierarchy on subspaces of the generalized Baire space…

Logic · Mathematics 2026-03-10 Nick Chapman

We develop the theory of layered posets, and use the notion of layering to prove a new iteration theorem (Theorem 6): if $\kappa$ is weakly compact then any universal Kunen iteration of $\kappa$-cc posets (each possibly of size $\kappa$) is…

Logic · Mathematics 2019-09-18 Sean D. Cox

We obtain a complete description for a probability measure to be doubling on an arbitrarily given uniform Cantor set. The question of which doubling measures on such a Cantor set can be extended to a doubling measure on [0; 1] is also…

Metric Geometry · Mathematics 2015-06-18 Chun Wei , Shengyou Wen , Zhixiong Wen