Papers
Topics
Authors
Recent
Gemini 2.5 Flash
Gemini 2.5 Flash
158 tokens/sec
GPT-4o
7 tokens/sec
Gemini 2.5 Pro Pro
45 tokens/sec
o3 Pro
4 tokens/sec
GPT-4.1 Pro
38 tokens/sec
DeepSeek R1 via Azure Pro
28 tokens/sec
2000 character limit reached

Extremal models and direct integrals in affine logic (2407.13344v2)

Published 18 Jul 2024 in math.LO and math.FA

Abstract: Affine logic is a fragment of continuous logic, introduced by Bagheri, in which only affine functions are allowed as connectives. This has the effect of endowing type spaces with the structure of compact convex sets. We study extremal models of affine theories (those that only realize extreme types), and the ways and conditions under which all models can be described from the extremal ones. We introduce and develop the general theory of measurable fields of metric structures and their direct integrals. One of our main results is an extremal decomposition theorem for models of simplicial theories, that is, affine theories whose type spaces form Choquet simplices. We prove that every model of a simplicial theory can be (uniquely) decomposed as a direct integral of extremal models. This generalizes known decomposition results (ergodic decomposition, tracial von Neumann factor decomposition), and moreover, holds without any separability hypothesis. Two extreme kinds of simplicial theories are Bauer theories, whose extreme types form a closed set, and Poulsen theories, whose extreme types form a dense set. We show that Keisler randomizations of continuous theories are, essentially, the same thing as affine Bauer theories. We establish a dichotomy result: a complete simplicial theory is either Bauer or Poulsen. As part of our analysis, we adapt many results and tools from continuous logic to the affine or extremal contexts (definability, saturation, type isolation, categoricity, etc.). We also provide a detailed study of the relations between continuous logic and affine logic. Finally, we present several examples of simplicial theories arising from theories in discrete logic, Hilbert spaces, probability measure-preserving systems, and tracial von Neumann algebras.

Citations (3)

Summary

We haven't generated a summary for this paper yet.

X Twitter Logo Streamline Icon: https://streamlinehq.com