Endou, Noboru Fubini’s theorem. (English) Zbl 1422.28002 Formaliz. Math. 27, No. 1, 67-74 (2019). MSC: 28A35 03B35 PDFBibTeX XMLCite \textit{N. Endou}, Formaliz. Math. 27, No. 1, 67--74 (2019; Zbl 1422.28002) Full Text: DOI
Coquand, Thierry; Ducos, Lionel; Lombardi, Henri; Quitté, Claude Constructive Krull dimension. I: Integral extensions. (English) Zbl 1172.13007 J. Algebra Appl. 8, No. 1, 129-138 (2009). Reviewer: Radoslav M. Dimitrić (Uniontown) MSC: 13C15 03F65 13A15 13E05 PDFBibTeX XMLCite \textit{T. Coquand} et al., J. Algebra Appl. 8, No. 1, 129--138 (2009; Zbl 1172.13007) Full Text: DOI
Fremlin, D. H. Measure theory. Vol. 5. Set-theoretic measure theory. Part I, II. (English) Zbl 1166.28002 Colchester: Torres Fremlin (ISBN 978-0-9538129-5-0/Pt.I; 978-0-9538129-6-7/Pt.II). 292 p. (2008). Reviewer: Ryszard Pawlak (Łódź) MSC: 28-01 26-01 03-02 PDFBibTeX XMLCite \textit{D. H. Fremlin}, Measure theory. Vol. 5. Set-theoretic measure theory. Part I, II. Colchester: Torres Fremlin (2008; Zbl 1166.28002)