A proof‐theoretic metatheorem for tracial von Neumann algebras

DOI10.1002/malq.202200048arXiv2209.01797OpenAlexW4379380243MaRDI QIDQ6096718

Liviu Păunescu, Andrei Sipoş

Publication date: 15 September 2023

Published in: Mathematical Logic Quarterly (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/2209.01797

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Effective results on a fixed point algorithm for families of nonlinear mappings
• Norm convergence of nilpotent ergodic averages
• Model theory of operator algebras. II: Model theory
• A characterization of W*-algebras
• Logical metatheorems for abstract spaces axiomatized in positive bounded logic
• Metamathematical investigation of intuitionistic arithmetic and analysis. With contributions by C. A. Smorynski, J. I. Zucker and W. A. Howard
• Almost commuting permutations are near commuting permutations
• A proof-theoretic bound extraction theorem for \(\mathrm{CAT}(\kappa)\)-spaces
• An application of proof mining to nonlinear iterations
• Bounded functional interpretation
• ÜBER EINE BISHER NOCH NICHT BENÜTZTE ERWEITERUNG DES FINITEN STANDPUNKTES
• Strongly majorizable functionals of finite type: A model for barrecursion containing discontinuous functionals
• Some logical metatheorems with applications in functional analysis
• Proof Mining in <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" altimg="si1.gif" overflow="scroll"><mml:mi mathvariant="double-struck">R</mml:mi></mml:math>-trees and Hyperbolic Spaces
• PROOF-THEORETIC METHODS IN NONLINEAR ANALYSIS
• PROOF MINING IN L^p SPACES
• Model theory of operator algebras I: stability
• General logical metatheorems for functional analysis
• Applied Proof Theory: Proof Interpretations and Their Use in Mathematics
• Intuitionistische Untersuchungen der formalistischen Logik
• On the Interpretation of Non-Finitist Proofs--Part I
• On the interpretation of non-finitist proofs–Part II
• The Connes embedding problem: A guided tour

This page was built for publication: A proof‐theoretic metatheorem for tracial von Neumann algebras