activity
20162023
most citedQuantitative results on the Ishikawa iteration of Lipschitz pseudo-contractions

1 citations · 1 across the 4 of their papers we have counts for

collaborators
Showing math.LOShow all

1 paper · 1 filter

math.LO2022

A proof-theoretic metatheorem for tracial von Neumann algebras

Liviu Paunescu, Andrei Sipos

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…