A proof‐theoretic metatheorem for tracial von Neumann algebras

&
Mathematical Logic Quarterly 69 (1):63-76 (2023)
  Copy   BIBTEX

Abstract

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 programme that aims to obtain the hidden computational content of ordinary mathematical proofs using tools from proof theory.

Categories

Keywords

Reprint years

DOI

10.1002/malq.202200048

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,168

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Effect Algebras with the Riesz Decomposition Property and AF C*-Algebras.Sylvia Pulmannova - 1999 - Foundations of Physics 29 (9):1389-1401.
The theory of tracial von Neumann algebras does not have a model companion.Isaac Goldbring, Bradd Hart & Thomas Sinclair - 2013 - Journal of Symbolic Logic 78 (3):1000-1004.
Borel reducibility and classification of von Neumann algebras.Román Sasyk & Asger Törnquist - 2009 - Bulletin of Symbolic Logic 15 (2):169-183.
John von Neumann's mathematical “Utopia” in quantum theory.Giovanni Valente - 2008 - Studies in History and Philosophy of Science Part B: Studies in History and Philosophy of Modern Physics 39 (4):860-871.
Geometry of State Spaces of Operator Algebras.Erik M. Alfsen & Frederic W. Shultz - 2002 - Springer Verlag.
A tracial quantum central limit theorem.Kuperberg Greg - unknown
A Proof-Theoretic Semantic Analysis of Dynamic Epistemic Logic.Sabine Frittella, Giuseppe Greco, Alexander Kurz, Alessandra Palmigiano & Vlasta Sikimić - 2016 - Journal of Logic and Computation 26 ( 6):1961-2015.
Type-Decomposition of a Synaptic Algebra.David J. Foulis & Sylvia Pulmannová - 2013 - Foundations of Physics 43 (8):948-968.
Maharam algebras.Boban Veličković - 2009 - Annals of Pure and Applied Logic 158 (3):190-202.
Why be normal?Laura Ruetsche - 2011 - Studies in History and Philosophy of Science Part B: Studies in History and Philosophy of Modern Physics 42 (2):107-115.
Bilateralism does not provide a proof theoretic treatment of classical logic.Michael Gabbay - 2017 - Journal of Applied Logic 25:S108-S122.
Ilijas Farah, Bradd Hart, and David Sherman. Model theory of operator algebras I: stability_. Bulletin of the London Mathematical Society, vol. 45 (2013), no. 4, pp. 825–838, doi:10.1112/blms/bdt014. - Ilijas Farah, Bradd Hart, and David Sherman. _Model theory of operator algebras II: model theory_. Israel Journal of Mathematics, vol. 201 (2014), no. 1, pp. 477–505, doi:10.1007/s11856-014-1046-7. - Ilijas Farah, Bradd Hart, and David Sherman. _Model theory of operator algebras III: elementary equivalence and_ II 1 _factors_. Bulletin of the London Mathematical Society, vol. 46 (2014), no. 3, pp. 609–628, doi:10.1112/blms/bdu012. - Isaac Goldbring, Bradd Hart, and Thomas Sinclair. _The theory of tracial von Neumann algebras does not have a model companion. Journal of Symbolic Logic, vol. 78 (2013), no. 3, pp. 1000–1004. [REVIEW]Itaï Ben Yaacov - 2015 - Bulletin of Symbolic Logic 21 (4):425-427.
A set-theoretic proof of the representation of MV-algebras by sheaves.Alejandro Estrada & Yuri A. Poveda - 2022 - Journal of Applied Non-Classical Logics 32 (4):317-334.
On the definability of join by means of polynomials in implicative algebras.Antoni Torrens - 1985 - Bulletin of the Section of Logic 14 (4):158-162.
BCI-Algebras and Related Logics.Martin Bunder - 2022 - Australasian Journal of Logic 19 (2):85-95.

Analytics

Added to PP
2023-05-30

Downloads
9 (#1,257,418)

6 months
7 (#437,422)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

Bounded functional interpretation.Fernando Ferreira & Paulo Oliva - 2005 - Annals of Pure and Applied Logic 135 (1):73-112.
On the interpretation of non-finitist proofs–Part II.G. Kreisel - 1952 - Journal of Symbolic Logic 17 (1):43-58.

View all 9 references / Add more references