Ferreira, Gilda Atomic polymorphism and the existence property. (English) Zbl 1522.03318 Ann. Pure Appl. Logic 169, No. 12, 1303-1316 (2018). MSC: 03F07 03F03 03B20 03F05 PDFBibTeX XMLCite \textit{G. Ferreira}, Ann. Pure Appl. Logic 169, No. 12, 1303--1316 (2018; Zbl 1522.03318) Full Text: DOI Link
Ferreira, Gilda Rasiowa-Harrop disjunction property. (English) Zbl 1417.03278 Stud. Log. 105, No. 3, 649-664 (2017). MSC: 03F03 03B20 03F05 03F07 PDFBibTeX XMLCite \textit{G. Ferreira}, Stud. Log. 105, No. 3, 649--664 (2017; Zbl 1417.03278) Full Text: DOI