B. Majcher-Iwanow
We define some coding of Borel sets in admissible sets. Using this we generalize certain results from model theory involving admissible sets to the case of continuous actions of closed permutation groups on Polish spaces. In particular we obtain counterparts of Nadel's theorems about relationships between Scott sentences and admissible sets.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
继续探索
We extend the result of Nadel describing the relationship between approximations of canonical Scott sentences and admissible sets to the general case of orbit equivalence relations induced on an arbitrary Polish space by a Polish group action.
We present and thoroughly study natural Polish spaces of separable Banach spaces. These spaces are defined as spaces of norms, resp. pseudonorms, on the countable infinite-dimensional rational vector space. We provide an exhaustive comparison of these spaces with admissible topologies recently introduced by Godefroy and Saint-Raymond and show that Borel complexities differ little with respect to these two different topological approaches. We investigate generic properties in these spaces and compare them with those in admissible topologies, confirming the suspicion of Godefroy and Saint-Raymon…
Let $(G,\cdot)$ be a Polish group. We say that a set $X \subset G$ is Haar null if there exists a universally measurable set $U \supset X$ and a Borel probability measure $μ$ such that for every $g, h \in G$ we have $μ(gUh)=0$. We call a set $X$ naively Haar null if there exists a Borel probability measure $μ$ such that for every $g, h \in G$ we have $μ(gXh)=0$. Generalizing a result of Elekes and Steprāns, which answers the first part of Problem FC from Fremlin's list, we prove that in every abelian Polish group there exists a naively Haar null set that is not Haar null.
Let H be a product of countably infinite number of copies of an uncountable Polish space X. Let $Σ_ξ$ $(\bar Σ_ξ)$ be the class of Borel sets of additive class ξfor the product of copies of the discrete topology on X (the Polish topology on X), and let ${\cal B} = \cup_{ξ< ω_1} \barΣ_ξ$. We prove in the Lévy--Solovay model that \barΣ_ξ=Σ_ξ\cap {\cal B} for $1 \leq ξ< ω_1$.
It is shown, from hypotheses in the region of $ω^2$ Woodin cardinals, that there is a transitive model of KP + AD$_\mathbb{R}$ containing all reals.
Let G be a closed subgroup of the group of all permutations of a countably infinite set. Let X be a Polish G-space with a countable basis A of clopen sets. Each x from X defines a characteristic function f on A by f(U)=1 iff x belongs to U (where U is from A). We consider computable complexity of f and some related questions.
This paper obtains an algebraic characterization of the Polish groups that satisfy Vaught's conjecture on $\bfΣ^1_1$ sets.
We say that X x Y satisfies the Uniquely Universal property (UU) iff there exists a set U open in X x Y such that for every open set W in Y there is a unique cross section U_x of U with U_x=W. Michael Hrusak raised the question of when does X x Y satisfy UU and noted that if Y is compact then X must have an isolated point. We prove the following: 1. If Y is a locally compact noncompact Polish space, then C x Y has UU where C is the Cantor space. 2. If Y is Polish, then B x Y has UU iff Y is not compact where B is the Baire space. 3. If Y is a sigma-compact subset of a Polish space which is not…
Isomorphism of locally compact Polish metric structures
本文研究局部紧 Polish 度量结构 Borel 类上的同构，证明其可由可数结构分类，并给出描述复杂度归约及博弈论不可分类判据。
With every $σ$-ideal $I$ on a Polish space we associate the $σ$-ideal $I^*$ generated by the closed sets in $I$. We study the forcing notions of Borel sets modulo the respective $σ$-ideals $I$ and $I^*$ and find connections between their forcing properties. To this end, we associate to a $σ$-ideal on a Polish space an ideal on a countable set and show how forcing properties of the forcing depend on combinatorial properties of the ideal. For $σ$-ideals generated by closed sets we also study the degrees of reals added in the forcing extensions. Among corollaries of our results, we get necessary …
For a Polish group G let cov_G be the minimal number of translates of a fixed closed nowhere dense subset of G required to cover G. For many locally compact G this cardinal is known to be consistently larger than cov(meager) which is the smallest cardinality of a covering of the real line by meagre sets. It is shown that for several non-locally compact groups cov_G=cov(meager). For example the equality holds for the group of permutations of the integers, the additive group of a separable Banach space with an unconditional basis and the group of homeomorphisms of various compact spaces. Most re…
We present the effective version of the theorem about turning Borel sets in Polish spaces into clopen sets while preserving the Borel structure of the underlying space. We show that under some conditions the emerging parameters can be chosen in a hyperarithmetical way and using this we prove a uniformity result.
We give, for some Borel sets of a product of two Polish spaces, including the Borel sets with countable sections, a Hurewicz-like characterization of those which cannot become a transfinite difference of open sets by changing the two Polish topologies.
A result of Kaufmann shows that if $L_α$ is countable, admissible and satisfies $Π_n\textsf{-Collection}$, then $\langle L_α, \in \rangle$ has a proper $Σ_{n+1}$-elementary end extension. This paper investigates to what extent the theory that holds in $\langle L_α, \in \rangle$ can be transferred to the partially-elementary end extensions guaranteed by Kaufmann's result. We show that there are $L_α$ satisfying full separation, powerset and $Π_n\textsf{-Collection}$ that have no proper $Σ_{n+1}$-elementary end extension satisfying either $Π_{n}\textsf{-Collection}$ or $Π_{n+3}\textsf{-Foundatio…
We prove that orbit equivalence relations (ERs, for brevity) of generically turbulent Polish actions are not Borel reducible to ER s of a family which includes Polish actions of S_\infty, the group of all permutations of N, and is closed under the Fubini product modulo the ideal Fin of all finite sets, and some other operations. Our second main result shows that T_2, the equivalence relation called ``the equality of countable sets of the reals'', is not Borel reducible to another family of ERs which includes continuous actions of Polish CLI groups, Borel equivalence relations with G_δclasses, …
Under a mild definability assumption, we characterize the family of Borel actions $Γ\curvearrowright X$ of tsi Polish groups on Polish spaces that can be decomposed into countably-many actions admitting complete Borel sets that are lacunary with respect to an open neighborhood of $1_Γ$. In the special case that $Γ$ is non-archimedean, it follows that there is such a decomposition if and only if there is no continuous embedding of $\mathbb{E}_0^{\mathbb{N}}$ into $E_Γ^X$.
Borel complexity of sets of points with prescribed Birkhoff averages in Polish dynamical systems with a specification property
本文研究 Polish 空间动力系统中限制轨道统计行为的点集的描述复杂性，证明在紧致条件下这些集合均为 Borel 集，并利用 Borel 层级与修改的规范性质确定其位于第三层，同时给出非 Borel 例子。
This paper considers "definable cardinalities" arising from Polish group actions. The first part of the paper answers a question of Becker-Kechris by showing that under suitable determinacy assumptions in ZF+DC, every action by a Polish group on a metric space is either as complicated as the Vitali equivalence relation or no more complicated than the equality relation on bounded subsets of \aleph_1. The same argument shows that if hereditarily wellorderabel sets can be used as complete invariants, then elements in HC will do. The second half gives a new proof of Howard Becker's recent theorem …
A Polish group is said to be locally Roelcke precompact if there is a neighborhood of the identity element that is totally bounded in the Roelcke (or lower) group uniformity. These form a subclass of the locally bounded groups, while generalizing the Roelcke precompact and locally compact Polish groups. We characterize these groups in terms of their geometric structure as those locally bounded groups whose coarsely bounded sets are all Roelcke precompact, and in terms of their uniform structure as those groups whose completions in the Roelcke uniformity are locally compact. We also assess the …
Let $\bfΓ$ be a Borel class, or a Wadge class of Borel sets, and $2\leq d\leqω$ a cardinal. We study the Borel subsets of ${\mathbb R}^d$ that can be made $\bfΓ$ by refining the Polish topology on the real line. These sets are called potentially $\bfΓ$. We give a test to recognize potentially $\bfΓ$ sets.
A subset $X$ of a Polish group $G$ is \emph{Haar null} if there exists a Borel probability measure $μ$ and a Borel set $B$ containing $X$ such that $μ(gBh)=0$ for every $g,h \in G$. A set $X$ is \emph{Haar meager} if there exists a compact metric space $K$, a continuous function $f : K \to G$ and a Borel set $B$ containing $X$ such that $f^{-1}(gBh)$ is meager in $K$ for every $g,h \in G$. We calculate (in $ZFC$) the four cardinal invariants ($\rm add$, $\rm cov$, $\rm non$, $\rm cof$) of these two $σ$-ideals for the simplest non-locally compact Polish group, namely in the case $G = \mathbb{Z}…
Given a compact Polish space $E$ and the hyperspace of its compact subsets $\mathcal{K}(E)$, we consider the class of $G_δ$ $σ$-ideals of compact subsets of $E$ that can be represented via a compact subset of $\mathcal{K}(E)$. If we extend such an ideal $I$ by considering $G_δ$ (or analytic) sets that are covered by countable unions of sets in $I$, we show that the extended collection can still be represented via some compact subset of $\mathcal{K}(E)$.
The following will be shown: Let $I$ be a $σ$-ideal on a Polish space $X$ with the property that the associated forcing of $I^+$ Borel subsets ordered by $\subseteq$ is a proper forcing. Let E be an analytic or coanalytic equivalence relation on this Polish space with all equivalence classes Borel. If sharps of certain sets exist, then there is an $I^+$ Borel subset $C$ of $X$ such that $E \upharpoonright C$ is a Borel equivalence relation.
The purpose of this paper is to define for every Polish space $X$ a class of sets, the $EBP(X)$-sets or the extended Baire property sets, to work out many properties of the $EBP(X)$-sets and to show their usefulness in analysis. For example, a proper generalization of the Pettis Theorem is proved in this context that furnishes a new automatic continuity result for Polish groups. The name extended Baire property sets is reasonable since $EBP(X)$ contains the Baire property sets $BP(X)$ and it is consistent with ZFC that the containment is proper.
We expand the results of Roslanowski and Shelah arXive:1806.06283 , arXive:1909.00937 to all perfect Abelian Polish groups $(H,+)$. In particular, we show that if $α<ω_1$ and $4\leq k<ω$, then there is a ccc forcing notion adding a $Σ^0_2$ set $B\subseteq H$ which has $\aleph_α$ many pairwise $k$--overlapping translations but not a perfect set of such translations.
The space $F(\ell_2)$ of all closed subsets of $\ell_2$ is a Polish space. We show that the subset $P\subset F(\ell_2)$ consisting of the purely 1-unrectifiable sets is $\Pii$-complete.
Countably perfectly meager and countably perfectly null sets
本文通过引入可数完全贫乏集和可数完全零集以强化普遍贫乏集与普遍零集概念，并在连续统假设弱化条件下证明了二者不等价。
Comeager hereditary families of compact sets are big
针对 Matheron 与 Zelený 提出的问题，作者在 ZFC 框架下证明了 Polish 空间的 Vietoris 超空间中每个 comeager 遗传紧集族都包含稠密的遗传 $G_\boldsymbol{\textit{δ}}$ 子族。
We give characterizations of the Borel sets potentially in some Wadge class, among the Borel sets with countable vertical sections of a product of two Polish spaces. To do this, we use some partial uniformization results.
A subset $X$ of a Polish group $G$ is called \emph{Haar null} if there exists a Borel set $B \supset X$ and Borel probability measure $μ$ on $G$ such that $μ(gBh)=0$ for every $g,h \in G$. We prove that there exists a set $X \subset \mathbb{R}$ that is not Lebesgue null and a Borel probability measure $μ$ such that $μ(X + t) = 0$ for every $t \in \mathbb{R}$. This answers a question from David Fremlin's problem list by showing that one cannot simplify the definition of a Haar null set by leaving out the Borel set $B$. (The answer was already known assuming the Continuum Hypothesis.) This resul…
Let xi be a non-null countable ordinal. We study the Borel subsets of the plane that can be made $\bormxi$ by refining the Polish topology on the real line. These sets are called potentially $\bormxi$. We give a Hurewicz-like test to recognize potentially $\bormxi$ sets.
Let $G$ be an abelian Polish group, e.g. a separable Banach space. A subset $X \subset G$ is called Haar null (in the sense of Christensen) if there exists a Borel set $B \supset X$ and a Borel probability measure $μ$ on $G$ such that $μ(B+g)=0$ for every $g \in G$. The term shy is also commonly used for Haar null, and co-Haar null sets are often called prevalent. Answering an old question of Mycielski we show that if $G$ is not locally compact then there exists a Borel Haar null set that is not contained in any $G_δ$ Haar null set. We also show that $G_δ$ can be replaced by any other class of…
We want to give a construction as simple as possible of a Borel subset of a product of two Polish spaces. This introduces the notion of potential Wadge class. Among other things, we study the non-potentially closed sets, by proving Hurewicz-like results. This leads to partial uniformization theorems, on big sets, in the sense of cardinality or Baire category.
Let $ξ\geq 1$ be a countable ordinal. We study the Borel subsets of the plane that can be made ${\bfΠ}^0_ξ$ by refining the Polish topology on the real line. These sets are called potentially ${\bfΠ}^0_ξ$. We give a Hurewicz-like test to recognize potentially ${\bfΠ}^0_ξ$ sets.
We show that for a $σ$-ideal $\ci$ with a Borel base of subsets of an uncountable Polish space, if $\ca$ is (in several senses) a "regular" family of subsets from $\ci $ then there is a subfamily of $\ca$ whose union is completely nonmeasurable i.e. its intersection with every Borel set not in $\ci $ does not belong to the smallest $σ$-algebra containing all Borel sets and $\ci.$ Our results generalize results from \cite{fourpoles} and \cite{fivepoles}.
We survey results about Haar null subsets of (not necessarily locally compact) Polish groups. The aim of this paper is to collect the fundamental properties of the various possible definitions of Haar null sets, and also to review the techniques that may enable the reader to prove results in this area. We also present several recently introduced ideas, including the notion of Haar meager sets, which are closely analogous to Haar null sets. We prove some results in a more general setting than that of the papers where they were originally proved and prove some results for Haar meager sets which …
Structural, point-free, non-Hausdorff topological realization of Borel groupoid actions
本文推广Becker--Kechris拓扑实现定理至群胚作用，基于范畴量词的代数性质给出新证明，适用于非Hausdorff及无点上下文，并刻画潜在开关系与一阶结构实现。
We study the Borel subsets of the plane that can be made closed by refining the Polish topology on the real line. These sets are called potentially closed. We first compare Borel subsets of the plane using products of continuous functions. We show the existence of a perfect antichain made of minimal sets among non-potentially closed sets. We apply this result to graphs, quasi-orders and partial orders. We also give a non-potentially closed set minimum for another notion of comparison. Finally, we show that we cannot have injectivity in the Kechris-Solecki-Todorcevic dichotomy about analytic gr…
For a continuous action of a countable discrete group $G$ on a Polish space $X$, a countable Borel partition $P$ of $X$ is called a generator if $G \cdot P := \{ gC : g \in G, C \in P \}$ generates the Borel $σ$-algebra of $X$. For $G = Z$, the Kolmogorov--Sinai theorem gives a measure-theoretic obstruction to the existence of finite generators: they do not exist in the presence of an invariant probability measure with infinite entropy. It was asked by Benjamin Weiss in the late 80s whether the nonexistence of any invariant probability measure guarantees the existence of a finite generator. We…
In this paper, we determine the descriptive complexity of subsets of the Polish space of marked groups defined by various group theoretic properties. In particular, using Grigorchuk groups, we establish that the sets of solvable groups, groups of exponential growth and groups with decidable word problem are $\mathbfΣ^0_2$-complete and that the sets of periodic groups and groups of intermediate growth are $\mathbfΠ^0_2$-complete. We also provide bounds for the descriptive complexity of simplicity, amenability, residually finiteness, Hopficity and co-Hopficity. This paper is intended to serve as…
Borel graphable equivalence relations
本文研究了哪些分析等价关系是Borel图化的，并探讨了图群及其结构性质。
Contents: 2. Invited contribution: Ultrafilters and small sets 3. Research announcements 3.1. Inverse Systems and I-Favorable Spaces 3.2. Combinatorial and hybrid principles for sigma-directed families of countable sets modulo finite 3.3. A dichotomy characterizing analytic digraphs of uncountable Borel chromatic number in any dimension 3.4. A dichotomy characterizing analytic digraphs of uncountable Borel chromatic number in any dimension 3.5. Large continuum, oracles 3.6. Borel hierarchies in infinite products of Polish spaces 3.7. A game for the Borel functions 3.8. On some problems in gene…
In recent years much attention has been enjoyed by topological spaces which are dominated by second countable spaces. The origin of the concept dates back to the 1979 paper of Talagrand in which it was shown that for a compact space X, Cp(X) is dominated by P, the set of irrationals, if and only if Cp(X) is K-analytic. Cascales extended this result to spaces X which are angelic and finally in 2005 Tkachuk proved that the Talagrand result is true for all Tychnoff spaces X. In recent years, the notion of P-domination has enjoyed attention independent of Cp(X). In particular, Cascales, Orihuela a…
扫码添加微信好友，提出您的宝贵建议 👇
💡 备注请填写：网站反馈
发表机构由 AI 从论文文本抽取，如发现错误，欢迎反馈修正建议。