arXiv math/04011342004-01-13math.LO

Between Maharam's and von Neumann's problems

Ilijas Farah, Jindrich Zapletal

英文摘要：

If I is a suitably definable sigma-ideal on the real line and the factor algebra of Borel sets modulo I is weakly distributive then the algebra carries a Maharam submeasure.

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

阅读原文

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

本文内容

英文摘要相关论文

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

继续探索

相关论文

Complete ccc Boolean algebras, the order sequential topology, and a problem of von Neumann

It is consistent that every weakly distributive complete ccc Boolean algebra carries a strictly positive Maharam submeasure.

2003-12-28math.LO

Borel reducibility and classification of von Neumann algebras

We announce some new results regarding the classification problem for separable von Neumann algebras. Our results are obtained by applying the notion of Borel reducibility and Hjorth's theory of turbulence to the isomorphism relation for separable von Neumann algebras.

2009-09-14math.LOmath.OA

Amalgamating R^ω-embeddable von Neumann algebras

We observe how a classical model-theoretic fact proves the existence of many strong amalgamation bases for the class of R^ω-embeddable von Neumann algebras, where R is the hyperfinite II_1 factor. In particular, we shows that R itself is a strong amalgamation base.

2013-01-29math.LOmath.OA

The classification problem for von Neumann factors

We prove that it is not possible to classify separable von Neumann factors of types $\II_1$, $\II_\infty$ or $\III_λ$, $0\leq λ\leq1$, up to isomorphism by a Borel measurable assignment of "countable structures" as invariants. In particular the isomorphism relation of type $\II_1$ factors is not smooth. We also prove that the isomorphism relation for von Neumann $\II_1$ factors is analytic, but is not Borel.

2009-03-25math.LOmath.OA

A proof-theoretic metatheorem for tracial von Neumann algebras

We adapt a continuous logic axiomatization of tracial von Neumann algebras due to Farah, Hart and Sherman in order to prove a metatheorem for this class of structures in the style of proof mining, a research program that aims to obtain the hidden computational content of ordinary mathematical proofs using tools from proof theory.

2022-11-16math.LOmath.OA