An Introduction To Continuous Model Theory

Bradd Hart

2023-03-07

Abstract:We present an introduction to modern continuous model theory with an emphasis on its interactions with topics covered in this volume such as $C^*$-algebras and von Neumann algebras. The role of ultraproducts is highlighted and expositions of definable sets, imaginaries, quantifier elimination and separable categoricity are included.

Operator Algebras,Logic

What problem does this paper attempt to address?

Continuous model theories for von Neumann algebras

Yoann Dabrowski

DOI: https://doi.org/10.1016/j.jfa.2019.108308

IF: 1.891

2019-12-01

Journal of Functional Analysis

Abstract:We axiomatize in continuous logic for metric structures σ-finite <math>W⁎</math>-probability spaces and preduals of von Neumann algebras jointly with a weak-* dense <math>C⁎</math>-algebra of its dual. This corresponds respectively to the Ocneanu ultrapower and the Groh ultrapower of (σ-finite in the first case) von Neumann algebras. We give various axiomatizability results corresponding to recent results of Ando and Haagerup including axiomatizability of <math>IIIλ</math> factors for <math>0<λ≤1</math> fixed and their preduals. We also strengthen the concrete Groh theory to an axiomatization result for preduals of von Neumann algebras in the language of tracial matrix-ordered operator spaces, a natural language for preduals of dual operator systems. We give an application to the isomorphism of ultrapowers of factors of type III and <math>II∞</math> for different ultrafilters.

mathematics
Model Theory for Real-valued Structures

H. Jerome Keisler

DOI: https://doi.org/10.48550/arXiv.2005.11851

2020-10-26

Abstract:We consider general structures where formulas have truth values in the real unit interval as in continuous model theory, but whose predicates and functions need not be uniformly continuous with respect to a distance predicate. Every general structure can be expanded to a pre-metric structure by adding a distance predicate that is a uniform limit of formulas. Moreover, that distance predicate is unique up to uniform equivalence. We use this to extend the central notions in the model theory of metric structures to general structures, and show that many model-theoretic results from the literature about metric structures have natural analogues for general structures.

Logic
Model Theory of Operator Systems and C$^*$-Algebras

Thomas Sinclair

DOI: https://doi.org/10.48550/arXiv.2210.03862

2022-10-08

Operator Algebras

Abstract:We survey the model theory of operator systems and C$^*$-algebras.
Continuous logic in a classical setting

Claudio Agostini,Stefano Baratella,Silvia Barbina,Luca Motto Ros,Domenico Zambella

2024-02-02

Abstract:Let $\mathcal{L}$ be a first-order two-sorted language and consider a class of $\mathcal{L}$-structures of the form $\langle M, X \rangle$ where $M$ varies among structures of the first sort, while $X$ is fixed in the second sort, and it is assumed to be a compact Hausdorff space. When $X$ is a compact subset of the real line, one way to treat classes of this kind model-theoretically is via continuous-valued logic, as in [Ben Yaacov-Berenstein-Henson-Usvyatsov 2010]. Prior to that, Henson and Iovino proposed an approach based on the notion of positive formulas [Henson-Iovino 2002]. Their work is tailored to the model theory of Banach spaces. Here we show that a similar approach is possible for a more general class of models. We introduce suitable versions of elementarity, compactness, saturation, quantifier elimination and other basic tools, and we develop basic model theory.

Logic
Continuous and monotone machines

Michal Konečný,Florian Steinberg,Holger Thies

DOI: https://doi.org/10.48550/arXiv.2005.01624

2020-05-05

Abstract:We investigate a variant of the fuel-based approach to modeling diverging computation in type theories and use it to abstractly capture the essence of oracle Turing machines. The resulting objects we call continuous machines. We prove that it is possible to translate back and forth between such machines and names in the standard function encoding used in computable analysis. Put differently, among the operators on Baire space, exactly the partial continuous ones are implementable by continuous machines and the data that such a machine provides is a description of the operator as a sequentially realizable functional. Continuous machines are naturally formulated in type theories and we have formalized our findings in Coq. Continuous machines, their equivalence to the standard encoding and correctness of basic operations are now part of Incone, a Coq library for computable analysis. While the correctness proofs use a classical meta-theory with countable choice, the translations and algorithms that are proven correct are all fully executable. Along the way we formally prove some known results such as existence of a self-modulating moduli of continuity for partial continuous operators on Baire space. To illustrate their versatility we use continuous machines to specify some algorithms that operate on objects that cannot be fully described by finite means, such as real numbers and functions. We present particularly simple algorithms for finding the multiplicative inverse of a real number and for composition of partial continuous operators on Baire space. Some of the simplicity is achieved by utilizing the fact that continuous machines are compatible with multivalued semantics. We also connect continuous machines to the construction of precompletions and completions of represented spaces, topics that have recently caught the attention of the computable analysis community.

Logic in Computer Science
A simple continuous theory

James E. Hanson

DOI: https://doi.org/10.1142/s0219061324500260

2024-10-15

Journal of Mathematical Logic

Abstract:Journal of Mathematical Logic, Ahead of Print. In the context of continuous first-order logic, special attention is often given to theories that are somehow continuous in an 'essential' way. A common feature of such theories is that they do not interpret any infinite discrete structures. We investigate a stronger condition that is easier to establish and use it to give an example of a strictly simple continuous theory that does not interpret any infinite discrete structures: the theory of richly branching [math]-forests with generic binary predicates. We also give an example of a superstable theory that fails to satisfy this stronger condition but nevertheless does not interpret any infinite discrete structures.

mathematics,logic
Elements of affine model theory

Seyed-Mohammad Bagheri

2024-08-22

Abstract:By Lindström's theorems, the expressive power of first order logic (and similarly continuous logic) is not strengthened without losing some interesting property. Weakening it, is however less harmless and has been payed attention by some authors. Affine continuous logic is the fragment of continuous logic obtained by avoiding the connectives $\wedge,\vee$. This reduction leads to the affinization of most basic tools and technics of continuous logic such as the ultraproduct construction, compactness theorem, type, saturation etc. The affine variant of the ultraproduct construction is the ultramean construction where ultrafilters are replaced with maximal finitely additive probability measures. A consequence of this relaxation is that compact structures with at least two elements have now proper elementary extensions. In particular, they have non-categorical theories in the new setting. Thus, a model theoretic framework for study of such structures is provided. A more remarkable aspect of this logic is that the type spaces are compact convex sets. The extreme types then play a crucial role in the study of affine theories. In this text, we present the foundations of affine continuous model theory.

Logic
Effective Model Theory: The Number of Models and Their Complexity

Bakhadyr Khoussainov,Richard A. Shore

DOI: https://doi.org/10.1017/CBO9780511565670.009

1999-01-01

Abstract:Effective model theory studies model theoretic notions with an eye towards issues of computability and effectiveness. We consider two possible starti ng points. If the basic objects are taken to be theories, then the appropriate effec tive version investigates decidable theories (the set of theorems is computable) and decidable structures (ones with decidable theories). If the objects of initial interest are typical mathematical structures, then the starting point is computable structures. We present an introduction to both of these aspects of effective m odel theory organized roughly around the themes of the number and types of models of theories with particular attention to categoricity (as either a hypothesi s or a conclusion) and the analysis of various computability issues in families of models .
Correspondences, Ultraproducts and Model Theory

Isaac Goldbring,Bradd Hart,Thomas Sinclair

DOI: https://doi.org/10.48550/arXiv.1809.00049

2019-11-14

Abstract:We study correspondences of tracial von Neumann algebras from the model-theoretic point of view. We introduce and study an ultraproduct of correspondences and use this ultraproduct to prove, for a fixed pair of tracial von Neumann algebras M and N, that the class of M-N correspondences forms an elementary class. We prove that the corresponding theory is classifiable, all of its completions are stable, that these completions have quantifier elimination in an appropriate language, and that one of these completions is in fact the model companion. We also show that the class of triples (M, H, N), where M and N are tracial von Neumann algebras and H is an M-N correspondence, form an elementary class. As an application of our framework, we show that a II_1 factor M has property (T) precisely when the set of central vectors form a definable set relative to the theory of M-M correspondences. We then use our approach to give a simpler proof that the class of structures (M, Phi), where M is a sigma-finite von Neumann algebra and Phi is a faithful normal state, forms an elementary class. Finally, we initiate the study of a family of Connes-type ultraproducts on C*-algebras.

Logic,Operator Algebras
Continuous Markovian Logics - Axiomatization and Quantified Metatheory

Radu Mardare,Luca Cardelli,Kim G. Larsen

DOI: https://doi.org/10.2168/lmcs-8(4:19)2012

2012-01-01

Logical Methods in Computer Science

Abstract:Continuous Markovian Logic (CML) is a multimodal logic that expresses quantitative and qualitative properties of continuous-time labelled Markov processes with arbitrary (analytic) state-spaces, henceforth called continuous Markov processes (CMPs). The modalities of CML evaluate the rates of the exponentially distributed random variables that characterize the duration of the labeled transitions of a CMP. In this paper we present weak and strong complete axiomatizations for CML and prove a series of metaproperties, including the finite model property and the construction of canonical models. CML characterizes stochastic bisimilarity and it supports the definition of a quantified extension of the satisfiability relation that measures the "compatibility" between a model and a property. In this context, the metaproperties allows us to prove two robustness theorems for the logic stating that one can perturb formulas and maintain "approximate satisfaction".
An introduction to model categories with examples

Xiao-Wu Chen

DOI: https://doi.org/10.48550/arXiv.2209.09679

2022-10-09

Abstract:We give an informal introduction to model categories, and treat three important examples in some details: the category of small categories, the category of dg algebras, and the category of small dg categories.

Category Theory,K-Theory and Homology,Rings and Algebras
Continuous-Valued Logic Algebra Studies on the Basic of Mathematical Dialectical Propositional Logic

Huacan He,Yingcang Ma

DOI: https://doi.org/10.1109/grc.2010.28

2009-01-01

Abstract:Logic algebra is important to establish the basis of mathematical logic, so in this paper, complete continuous-valued logic algebra is proposed, the definitions of seven kinds of integrity cluster of logical operation model that may exist in continuous-valued propositional logic are given, which can directly include and deal with the four uncertainties that may exist in continuous-valued propositional logical operator model. They are the uncertainty of propositional true degree arising from true/false contradictions, the uncertainty of logical operator model arising from enemy/friends contradictions, the uncertainty of logical operator model arising from loose/strict contradictions, the uncertainty of logical operator model arising from familiar/unfamiliar contradictions. Continuous-valued logic algebra is the important basis for further establishment of continuous-valued of dialectical logic.
Elements of ∞-Category Theory

Emily Riehl,Dominic Verity

DOI: https://doi.org/10.1017/9781108936880

2022-01-14

Abstract:The language of ∞-categories provides an insightful new way of expressing many results in higher-dimensional mathematics but can be challenging for the uninitiated. To explain what exactly an ∞-category is requires various technical models, raising the question of how they might be compared. To overcome this, a model-independent approach is desired, so that theorems proven with any model would apply to them all. This text develops the theory of ∞-categories from first principles in a model-independent fashion using the axiomatic framework of an ∞-cosmos, the universe in which ∞-categories live as objects. An ∞-cosmos is a fertile setting for the formal category theory of ∞-categories, and in this way the foundational proofs in ∞-category theory closely resemble the classical foundations of ordinary category theory. Equipped with exercises and appendices with background material, this first introduction is meant for students and researchers who have a strong foundation in classical 1-category theory.
Formal model theory and higher topology

Ivan Di Liberti

DOI: https://doi.org/10.1002/malq.202300006

2024-05-29

Mathematical Logic Quarterly

Abstract:We study the 2‐categories BIon, of (generalized) bounded ionads, and Accω , of accessible categories with directed colimits, as an abstract framework to approach formal model theory. We relate them to topoi and (lex) geometric sketches, which serve as categorical specifications of geometric theories. We provide reconstruction and completeness‐like results. We relate abstract elementary classes to locally decidable topoi. We introduce the notion of categories of saturated objects and relate it to atomic topoi.

mathematics,logic
Algebraic theory of continuous geometries

J v Neumann

1937-01-01

Abstract:Introduction. 1. This note continues the analysis of the geometrical systems L= LnP n= 1, 2,...((n-1)-dimensional projective or discrete geometries) and L= L (continuous geometries), introduced in two pre-ceding notes of the author.'The axioms I-VI characterizing these systems were given in the first note (C. G.), where the properties of the unique numerical dimension function D (a)(aeL) were also discussed. The second note (E. C. G.) contained examples of LX establishing at the same time certain connections of systems L. with abstract algebra, while other, more general, connectionsof this kind were mentioned. In this note we shall go considerably further: A complete characterization of our systems L in terms of algebraic ring-theory will be described. 2 Again only results and outlines of proofs will be given, the details being reserved for a subsequent publication.
Computable Models of Theories with Few Models.

Bakhadyr Khoussainov,André Nies,Richard A. Shore

DOI: https://doi.org/10.1305/ndjfl/1039724885

1997-01-01

Abstract:In this paper we investigate computable models of $\aleph_1$-categorical theories and Ehrenfeucht theories. For instance, we give an example of an $\aleph_1$-categorical but not $\aleph_0$-categorical theory $T$ such that all the countable models of $T$ except its prime model have computable presentations. We also show that there exists an $\aleph_1$-categorical but not $\aleph_0$-categorical theory $T$ such that all the countable models of $T$ except the saturated model, have computable presentations.
Model Theory, Arithmetic & Algebraic Geometry

Joel Torres Del valle

DOI: https://doi.org/10.13140/RG.2.2.17942.40009

2019-04-29

Abstract:In this pages I give an overview of the relationship between Model Theory, Arithmetic and Algebraic Geometry. The topics will be the basic ones in the area, so this is just an invitation, in the presentation of topics I mainly follow the philosophy of the references.

History and Overview,Logic
An Introduction to Categorical Proof Theory

Amirhossein Akbar Tabatabai

2024-08-18

Abstract:These expanded lecture notes are based on a tutorial on categorical proof theory presented at the summer school associated with the conference "Topology, Algebra, and Categories in Logic 2021-2022." The chapter delves into various applications of categorical methods in proof theory. It is designed to be accessible, with no prior familiarity with category theory required. The necessary categorical background is introduced gradually, with a focus on the philosophical and informal aspects of proof. The only prerequisites are a basic understanding of logic, computability theory, topology, and ordered structures.

Logic,Logic in Computer Science,Category Theory
Continuous Markovian Logic - from Complete Axiomatization to the Metric Space of Formulas

Luca Cardelli,Kim G. Larsen,Radu Mardare

DOI: https://doi.org/10.4230/lipics.csl.2011.144

2011-01-01

Abstract:Continuous Markovian Logic (CML) is a multimodal logic that expresses quantitative and qualitative properties of continuous-space and continuous-time labelled Markov processes (CMPs). The modalities of CML approximate the rates of the exponentially distributed random variables that characterize the duration of the labeled transitions. In this paper we present a sound and complete Hilbert-style axiomatization of CML for the CMP-semantics and prove some metaproperties including the small model property. CML characterizes stochastic bisimulation and supports the definition of a quantified extension of satisfiability relation that measures the compatibility of a model and a property. Relying on the small model property, we prove that this measure can be approximated, within a given error, by using a distance between logical formulas.
A survey on the model theory of tracial von Neumann algebras

Isaac Goldbring,Bradd Hart

DOI: https://doi.org/10.48550/arXiv.2210.15508

2022-10-27

Abstract:We survey the developments in the model theory of tracial von Neumann algebras that have taken place in the last fifteen years. We discuss the appropriate first-order language for axiomatizing this class as well as the subclass of II$_1$ factors. We discuss how model-theoretic ideas were used to settle a variety of questions around isomorphism of ultrapowers of tracial von Neumann algebras with respect to different ultrafilters before moving on to more model-theoretic concerns, such as theories of II$_1$ factors and existentially closed II$_1$ factors. We conclude with two recent applications of model-theoretic ideas to questions around relative commutants.

Logic,Operator Algebras

An Introduction To Continuous Model Theory

Continuous model theories for von Neumann algebras

Model Theory for Real-valued Structures

Model Theory of Operator Systems and C$^*$-Algebras

Continuous logic in a classical setting

Continuous and monotone machines

A simple continuous theory

Elements of affine model theory

Effective Model Theory: The Number of Models and Their Complexity

Correspondences, Ultraproducts and Model Theory

Continuous Markovian Logics - Axiomatization and Quantified Metatheory

An introduction to model categories with examples

Continuous-Valued Logic Algebra Studies on the Basic of Mathematical Dialectical Propositional Logic

Elements of ∞-Category Theory

Formal model theory and higher topology

Algebraic theory of continuous geometries

Computable Models of Theories with Few Models.

Model Theory, Arithmetic & Algebraic Geometry

An Introduction to Categorical Proof Theory

Continuous Markovian Logic - from Complete Axiomatization to the Metric Space of Formulas

A survey on the model theory of tracial von Neumann algebras