arXiv math/95012231995-01-15math.LOmath.RA

On invariants for omega_1-separable groups

Paul C. Eklof, Matthew Foreman, Saharon Shelah

发表信息：: Trans. Amer. Math. Soc. 347 (1995), 4385--4402

英文摘要：

We study the classification of omega_1-separable groups using Ehrenfeucht-Fraisse games and prove a strong classification result assuming PFA, and a strong non-structure theorem assuming diamond.

机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。

阅读原文

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

本文内容

英文摘要相关论文

机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。

继续探索

相关论文

On non-separable growths of omega supporting measures

We present several $\mathsf{ZFC}$ examples of compactifications $γω$ of $ω$ such that their remainders $γω\backslashω$ are nonseparable and carry strictly positive measures.

2016-04-12math.LO

Automorphisms and strongly invariant relations

We investigate characterizations of the Galois connection sInv-Aut between sets of finitary relations on a base set A and their automorphisms. In particular, for A=omega_1, we construct a countable set R of relations that is closed under all invariant operations on relations and under arbitray intersections, but is not closed under sInv(Aut(-)). Our structure (A,R) has an omega-categorical first order theory. A higher order definable well-order makes it rigid, but any reduct to a finite language is homogeneous.

2003-09-09math.LOmath.RA

ω-范畴结构的不变Keisler测度

Invariant Keisler measures for omega-categorical structures

本文构造了首个简单ω-范畴反例，证明存在不在空集上分叉但普遍测度为零的公式，并利用概率独立性定理揭示了分叉理想与普遍测度零理想重合时结构需满足的更强独立性条件。

2023-01-04math.LO

Many simple cardinal invariants

For g < f in omega^omega we define c(f,g) be the least number of uniform trees with g-splitting needed to cover a uniform tree with f-splitting. We show that we can simultaneously force aleph_1 many different values for different functions (f,g). In the language of Blass: There may be aleph_1 many distinct uniform Pi^0_1 characteristics.

1992-05-15math.LO

A cardinal invariant related to homogeneous families

Let "ex" be the cardinality of the smallest independent family of subsets of omega (independent means that all nontrivial Boolean combinations are infinite) which cannot be extended to a homogeneous independent family. "Homogeneous" means that every finite partial map (points to points, sets to sets) that is compatible with the family is induced by a permutation of omega. Despite its apparently ``complex'' (second order) definition, this cardinal is equal to a well-known ``simple'' cardinal invariant from Cichon's diagram.

1997-07-16math.LO

o-bounded groups and other topological groups with strong combinatorial properties

We construct several topological groups with very strong combinatorial properties. In particular, we give simple examples of subgroups of the real line R (thus strictly o-bounded) which have the Hurewicz property but are not sigma-compact, and show that the product of two o-bounded subgroups of R^N may fail to be o-bounded, even when they satisfy the stronger property S1(Borel_Omega,Borel_Omega). This solves a problem of Tkacenko and Hernandez, and extends independent solutions of Krawczyk and Michalewski and of Banakh, Nickolas, and Sanchis. We also construct separable metrizable groups G of …

2010-10-31math.COmath.GNmath.GR

更多相关论文收起更多论文

Choice free Fixed Point Property in separable Banach spaces

We show that the standard approach of minimal invariant sets, which applies Zorn's Lemma and is used to prove fixed point theorems for non-expansive mappings in Banach spaces can be applied without any reference to the full Axiom of Choice when the given Banach space is separable. Our method applies results from classical and effective descriptive set theory.

2017-01-13math.LO

Metrical universality for groups

We prove that for any constant $K>0$ there exists a separable group equipped with a complete bi-invariant metric bounded by $K$, isometric to the Urysohn sphere of diameter $K$, that is of `almost-universal disposition'. It is thus an object in the category of separable groups with bi-invariant metric analogous in its properties to the Gurarij space from the category of separable Banach spaces. We show that this group contains an isometric copy of any separable group equipped with bi-invariant metric bounded by $K$. As a consequence, we get that it is a universal Polish group admitting compati…

2018-02-08math.GNmath.GRmath.LO

Rules and Reals

A ``k-rule" is a sequence A=((A_n,B_n):n<omega) of pairwise disjoint sets B_n, each of cardinality at most k, where A_n is a subset of B_n. A set X of natural numbers (a ``real'') follows a rule A if for infinitely many n we have that the intersection of X with B_n is exactly A_n. There are obvious cardinal invariants resulting from this definition: the least number of reals needed to follow all k-rules, s_k, and the least number of k-rules without a real following all of them, r_k. We investigate these cardinal invariants and their connection to some well-known cardinals from Cichon's diagram…

1997-07-16math.LO

Definable $\mathrm{K}$-homology of separable C*-algebras

In this paper we show that the $\mathrm{K}$-homology groups of a separable C*-algebra can be enriched with additional descriptive set-theoretic information, and regarded as definable groups. Using a definable version of the Universal Coefficient Theorem, we prove that the corresponding definable $\mathrm{K}$-homology is a finer invariant than the purely algebraic one, even when restricted to the class of UHF C*-algebras, or to the class of unital commutative C*-algebras whose spectrum is a $1$-dimensional connected subspace of $\mathbb{R}^{3}$.

2020-10-21math.KTmath.LOmath.OA

素模型的自同构群与不变测度

Automorphism groups of prime models, and invariant measures

本研究将饱和模型下自同构群的可定义子集概念适配到原子强齐次模型的相对自同构群，探讨其可定义子集布尔代数上不变测度的存在唯一性（稳定理论下成立），并验证该可定义性与可定义伽罗瓦上同调、微分伽罗瓦理论的相容性。

2024-05-20math.LO