publication venue for
- Explicit sentences distinguishing Mcduff’s II1 factors. 227:365-377. 2018
- Model theory of operator algebras II: model theory. 201:477-505. 2014
- Hanani triple systems. 83:305-319. 1993
- Categoricity overP for first orderT or categoricity forϕ ∈L ω1ω can stop at ℵ k while holding for ℵ0, ..., ℵ k−1. 70:219-235. 1990