Hyttinen, Tapani; Paolini, Gianluca; Väänänen, Jouko A logic for arguing about probabilities in measure teams. (English) Zbl 1386.03020 Arch. Math. Logic 56, No. 5-6, 475-489 (2017). Reviewer: Jürgen Landes (München) MSC: 03B48 03B60 68T37 68T27 60A10 PDFBibTeX XMLCite \textit{T. Hyttinen} et al., Arch. Math. Logic 56, No. 5--6, 475--489 (2017; Zbl 1386.03020) Full Text: DOI arXiv Link
Hyttinen, Tapani; Paolini, Gianluca Reduction of database independence to dividing in atomless Boolean algebras. (English) Zbl 1341.03045 Arch. Math. Logic 55, No. 3-4, 505-518 (2016). Reviewer: Jānis Cīrulis (Riga) MSC: 03C45 03C30 06E05 60A99 68P15 PDFBibTeX XMLCite \textit{T. Hyttinen} and \textit{G. Paolini}, Arch. Math. Logic 55, No. 3--4, 505--518 (2016; Zbl 1341.03045) Full Text: DOI arXiv