Related papers: Descriptive properties of I2-embeddings

We prove that the completely irregular set is Baire generic for every non-uniquely ergodic transitive continuous map which satisfies the shadowing property and acts on a compact metric space without isolated points. We also show that, under…

A topological space $X$ is Baire if the intersection of any sequence of open dense subsets of $X$ is dense in $X$. One of the interesting problems for the space of Baire functions is the Banakh-Gabriyelyan problem: Let $\alpha$ be a…

Let $D$ be a domain of finite Lebesgue measure in $\bR^d$ and let $X^D_t$ be the symmetric $\alpha$-stable process killed upon exiting $D$. Each element of the set $\{\lambda_i^\alpha\}_{i=1}^\infty$ of eigenvalues associated to $X^D_t$,…

In this paper, we consider the question of contractivity vs. complete contractivity for domains in $\mathbb{C}^2$, which are unit balls with respect to some norm. We show that for a large class of Reinhardt domains, the corresponding Banach…

We consider definably complete and Baire expansions of ordered fields: every definable subset of the domain of the structure has a supremum and the domain can not be written as the union of a definable increasing family of nowhere dense…

We work in the Baire space $\mathbb{Z}^\omega$ equipped with the coordinate-wise addition $+$. Consider a $\sigma-$ideal $\mathcal{I}$ and a family $\mathbb{T}$ of some kind of perfect trees. We are interested in results of the form: for…

Let X be a set of smooth points in P^2, and I = \oplus_{t >= d} I_t the defining ideal of X. In this paper, we give a set of defining equations for the Rees algebra R(I_{d+1}) of the ideal generated by I_{d+1}. This study give information…

This is a revision (and partial retraction) of my previous abstarct. Let $\lambda(X)$ denote Lebesgue measure. If $X\subseteq [0,1]$ and $r \in (0,1)$ then the $r$-Hausdorff capacity of $X$ is denoted by $H^r(X)$ and is defined to be the…

We show relative to strong hypotheses that patterns of compact cardinals in the universe, where a compact cardinal is one which is either strongly compact or supercompact, can be virtually arbitrary. Specifically, we prove if V is a model…

Let $(R,m)$ be a Noetherian local ring of dimension $d$ and $K,Q$ be $m$-primary ideals in $R.$ In this paper we study the finiteness properties of the sets $\Lambda_i^K(R):=\{g_i^K(Q): Q$ is a parameter ideal of $R\},$ where $g_i^K(Q)$…

For each countable ordinal $\alpha \ge 2$, the ideals $\mathsf{conv}_\alpha$ were introduced in ``Critical ideals for countable compact spaces'' (to appear in Fund. Math., see also arXiv:2503.12571) to characterize compact countable spaces…

For a metrizable space, we consider the space of all metrics generating the same topology of the metrizable space, and this space of metrics is equipped with the supremum metric. In this paper, for every metrizable space, we establish that…

If an extension Vbar of V satisfies the delta approximation and cover properties for classes and V is a class in Vbar, then every suitably closed embedding j:Vbar to Nbar in Vbar with critical point above delta restricts to an embedding…

Working over infinite dimensional separable Hilbert spaces, residual results have been achieved for the space of contractive $C_{0}$-semigroups under the topology of uniform weak operator convergence on compact subsets of $\mathbb{R}_{+}$.…

We further develop a forcing notion known as Coding with Perfect Trees and show that this poset preserves, in a strong sense, definable $P$-points, definable tight MAD families and definable selective independent families. As a result, we…

Four constructions result from a desire to create enhancements to Cantor's infinite real set cardinality. Each continues to keep Cantor's cardinality formulation in place while providing new comparisons of arbitrary infinite sets. To…

Let $Q=(0,1)^2$ be the unit square in $\mathbb{R}^2$. We prove that in a suitable complete metric space of $BV$ homeomorphisms $f:Q\rightarrow Q$ with $f_{|\partial Q}=Id$, the generical homeomorphism (in the sense of Baire categories) maps…

We show that for a $\sigma $-ideal $\ci$ with a Steinhaus property defined on Banach space, if two non-homeomorphic Banach with the same cardinality of the Hamel basis then there is a $\ci$ nonmeasurable subset as image by any isomorphism…

We propose a reformulation of the ideal $\mathcal{N}$ of Lebesgue measure zero sets of reals modulo an ideal $J$ on $\omega$, which we denote by $\mathcal{N}_J$. In the same way, we reformulate the ideal $\mathcal{E}$ generated by…

Cocompactness is a property of embeddings between two Banach spaces, similar to but weaker than compactness, defined relative to some non-compact group of bijective isometries. In presence of a cocompact embedding, bounded sequences (in the…