Ernst, Zachary Completions of \(TV_\rightarrow\) from \(H_\rightarrow\). (English) Zbl 1033.03004 Bull. Sect. Log., Univ. Łódź, Dep. Log. 31, No. 1, 7-14 (2002). MSC: 03B20 03B47 PDFBibTeX XMLCite \textit{Z. Ernst}, Bull. Sect. Log., Univ. Łódź, Dep. Log. 31, No. 1, 7--14 (2002; Zbl 1033.03004)
Ernst, Zachary; Fitelson, Branden; Harris, Kenneth; Wos, Larry A concise axiomatization of \(\text{RM}_\rightarrow\). (English) Zbl 1036.03016 Bull. Sect. Log., Univ. Łódź, Dep. Log. 30, No. 4, 191-194 (2001). MSC: 03B47 PDFBibTeX XMLCite \textit{Z. Ernst} et al., Bull. Sect. Log., Univ. Łódź, Dep. Log. 30, No. 4, 191--194 (2001; Zbl 1036.03016)