74 citations · 280 across the 32 of their papers we have counts for
Showing 2016 · math.LOShow all
3 papers · 2 filters
math.LO2016★ 7 cited
Metric logical categories and conceptual completeness for first order continuous logic
Jean-Martin Albert, Bradd Hart
We begin the study of categorical logic for continuous model theory. In particular, we 1. introduce the notions of metric logical categories and functors as categorical equivalents…
math.LO2016
On the theories of McDuff's II factors
Isaac Goldbring, Bradd Hart
Recently, Boutonnet, Chifan, and Ioana proved that McDuff's family of continuum many pairwise nonisomorphic separable II factors are in fact pairwise non-elementarily equivalen…
math.LO2016★ 12 cited
Model theory of -algebras
I. Farah, B. Hart, M. Lupini +4
We begin the systematic model theoretic study of -algebras using the tools of continuous logic.