English
Related papers

Related papers: Homogeneously Souslin sets in small inner models

200 papers

Following a recent paper by Herrlich and Tachtsis, we investigate in ZFC the following compactness question: for which unountable cardinals $\kappa$, an arbitrary nonempty system $S$ of homogeneous $\mathbb Z$-linear equations is…

Logic · Mathematics 2018-12-18 Jan Šaroch

We prove a noncommutative variant of Saskin's classical theorem -- on the connection between Choquet boundaries for function spaces and Korovkin sets -- for operator systems generating separable Type I C*-algebras. The main result implies…

Operator Algebras · Mathematics 2015-05-22 Craig Kleski

We define and study homogeneous kinetic Sobolev spaces adapted to the Kolmogorov equation. We consider both local and non-local diffusion. The spaces are built from the Lebesgue spaces L p for all integrability exponents p $\in$ (1,…

Analysis of PDEs · Mathematics 2026-03-19 Pascal Auscher , Lukas Niebel

Let $G$ be a compact connected Lie group and $K$ a closed connected subgroup. Assume that the order of any torsion element in the integral cohomology of $G$ and $K$ is invertible in a given principal ideal domain $k$. It is known that in…

Algebraic Topology · Mathematics 2021-11-24 Matthias Franz

On an arbitrary meet-semilattice S with 0 we define an orthogonality relation and investigate the lattice Cl(S) of all subsets of S closed under this orthogonality. We show that if S is atomic then Cl(S) is a complete atomic Boolean…

Combinatorics · Mathematics 2024-04-23 Ivan Chajda , Miroslav Kolařík , Helmut Länger

We give a new proof of a theorem of Becker that under AD+V=L(R), omega_2 is a kappa-supercompact for every kappa less than or equal to the supremum of all Suslin cardinals. Our proof uses inner model theory. It is still open whether one can…

Logic · Mathematics 2021-10-14 Grigor Sargsyan

We study $\Sigma_1(\omega_1)$-definable sets (i.e. sets that are equal to the collection of all sets satisfying a certain $\Sigma_1$-formula with parameter $\omega_1$) in the presence of large cardinals. Our results show that the existence…

Logic · Mathematics 2017-10-27 Philipp Lücke , Ralf Schindler , Philipp Schlicht

We consider a homogeneous fractional Sobolev space obtained by completion of the space of smooth test functions, with respect to a Sobolev--Slobodecki\u{\i} norm. We compare it to the fractional Sobolev space obtained by the $K-$method in…

Functional Analysis · Mathematics 2018-06-26 Lorenzo Brasco , Ariel Salort

We prove that the perfect set dichotomy theorem holds in the Solovay model $V ((\omega^\omega)^{V[G]})$. Namely, for every equivalence relation $E$ on $\mathbb{R}$, either $\mathbb{R}/E$ is well-orderable or there exists a perfect set…

Logic · Mathematics 2025-12-04 Hiroshi Sakai , Toshimasa Tanno

We describe the norming sets for the space of global holomorphic sections to a $k$-power of a positive holomorphic line bundle on a compact complex manifold $X$. We characterize in metric terms the sequence of measurable subsets…

Complex Variables · Mathematics 2017-04-06 Tanausu Aguilar-Hernandez

Let $V$ be a compact and irreducible complex space of complex dimension $v$ whose regular part is endowed with a complete Hermitian metric $h$. Let $\pi:M\rightarrow V$ be a resolution of $V$. Under suitable assumptions on $h$ we prove that…

Differential Geometry · Mathematics 2017-12-20 Francesco Bei , Paolo Piazza

Given any compact homogeneous space $H/K$ with $H$ simple, we consider the new space $M=H\times H/\Delta K$, where $\Delta K$ denotes diagonal embedding, and study the existence, classification and stability of $H\times H$-invariant…

Differential Geometry · Mathematics 2024-10-16 Jorge Lauret , Cynthia Will

We establish the existence and uniqueness of limits at infinity along infinite curves outside a zero modulus family for functions in a homogeneous Sobolev space under the assumption that the underlying space is equipped with a doubling…

Functional Analysis · Mathematics 2023-10-19 Pekka Koskela , Khanh Nguyen

We define a generic Vop\v{e}nka cardinal to be an inaccessible cardinal $\kappa$ such that for every first-order language $\mathcal{L}$ of cardinality less than $\kappa$ and every set $\mathscr{B}$ of $\mathcal{L}$-structures, if…

Logic · Mathematics 2019-08-13 Trevor M. Wilson

Jurij Vol\v{c}i\v{c} conjectured that a noncommutative polynomial $g$ belongs to the unital $\mathbb{K}$-algebra generated by finitely many noncommutative polynomials if and only if, for matrices of every size, every joint invariant…

Rings and Algebras · Mathematics 2026-02-27 Sizhuo Yan , Jianting Yang , Lihong Zhi

Given compact Lie groups H\subset G, we study the space of G-invariant metrics on G/H with nonnegative sectional curvature. For an intermediate subgroup K between H and G, we derive conditions under which enlarging the Lie algebra of K…

Differential Geometry · Mathematics 2008-06-24 Lorenz Schwachhofer , Kristopher Tapp

In this paper we continue investigation of the interior problem of tomography that was started in \cite{BKT2}. As is known, solving the interior problem {with prior data specified on a finite collection of intervals $I_i$} is equivalent to…

Mathematical Physics · Physics 2014-03-10 Marco Bertola , Alexander Katsevich , Alexander Tovbis

We prove that, for every rational $d\ne 0,\pm 1$ and every compact set $K\subset\{s\in\mathbb{C}:1/2<\Re(s)<1\}$ with connected complement, any analytic non-vanishing functions $f_1,f_2$ on $K$ can be approximated, uniformly on $K$, by the…

Number Theory · Mathematics 2015-03-25 Łukasz Pańkowski

The present paper is devoted to a theory of profile decomposition for bounded sequences in \emph{homogeneous} Sobolev spaces, and it enables us to analyze the lack of compactness of bounded sequences. For every bounded sequence in…

Functional Analysis · Mathematics 2022-02-15 Mizuho Okumura

We study connections between definability in generalized descriptive set theory and large cardinals, under ZFC. We show that if $\kappa$ is a limit of measurables then there is no wellorder of a subset of $P(\kappa)$ of length…

Logic · Mathematics 2026-03-13 Farmer Schlutzenberg