Frosoni, Giulia; Rosolini, Giuseppe; Santamaria, Alessio Frames and topological algebras for a double-power monad. (English) Zbl 1440.18007 J. Log. Anal. 11, Paper No. FT5, 21 p. (2019). Reviewer: Jorge Picado (Coimbra) MSC: 18C15 18D15 18F70 06D22 54B30 PDFBibTeX XMLCite \textit{G. Frosoni} et al., J. Log. Anal. 11, Paper No. FT5, 21 p. (2019; Zbl 1440.18007) Full Text: Link
Vickers, Steven Sketches for arithmetic universes. (English) Zbl 1420.18011 J. Log. Anal. 11, Paper No. FT4, 56 p. (2019). Reviewer: Hirokazu Nishimura (Tsukuba) MSC: 18C30 03G30 PDFBibTeX XMLCite \textit{S. Vickers}, J. Log. Anal. 11, Paper No. FT4, 56 p. (2019; Zbl 1420.18011) Full Text: arXiv Link
Swan, Andrew An algebraic weak factorisation system on 01-substitution sets: a constructive proof. (English) Zbl 1403.03124 J. Log. Anal. 8, Paper No. 1, 35 p. (2016). MSC: 03F50 03F55 55U35 03F60 03B15 18A32 18C20 PDFBibTeX XMLCite \textit{A. Swan}, J. Log. Anal. 8, Paper No. 1, 35 p. (2016; Zbl 1403.03124) Full Text: DOI arXiv
Ciraulo, Francesco; Maietti, Maria Emilia; Sambin, Giovanni Convergence in formal topology: a unifying notion. (English) Zbl 1280.54003 J. Log. Anal. 5, Paper No. 2, 45 p. (2013). Reviewer: Jorge Picado (Coimbra) MSC: 54A05 03F65 06D22 06F07 06B23 18B35 PDFBibTeX XMLCite \textit{F. Ciraulo} et al., J. Log. Anal. 5, Paper No. 2, 45 p. (2013; Zbl 1280.54003) Full Text: DOI arXiv
Palmgren, Erik Open sublocales of localic completions. (English) Zbl 1285.03075 J. Log. Anal. 2, Paper No. 1, 22 p. (2010). MSC: 03F60 06D22 18B30 54B30 54D45 54E35 PDFBibTeX XMLCite \textit{E. Palmgren}, J. Log. Anal. 2, Paper No. 1, 22 p. (2010; Zbl 1285.03075) Full Text: DOI Link