Marinacci, Massimo; Montrucchio, Luigi Unique Tarski fixed points. (English) Zbl 1437.47026 Math. Oper. Res. 44, No. 4, 1174-1191 (2019). Reviewer: Zoran D. Mitrović (Banja Luka) MSC: 47H10 47H07 PDF BibTeX XML Cite \textit{M. Marinacci} and \textit{L. Montrucchio}, Math. Oper. Res. 44, No. 4, 1174--1191 (2019; Zbl 1437.47026) Full Text: DOI Link OpenURL
Curi, Giovanni Abstract inductive and co-inductive definitions. (English) Zbl 1445.03072 J. Symb. Log. 83, No. 2, 598-616 (2018). Reviewer: Daniel Romano (Banja Luka) MSC: 03G10 03E70 03F65 18B35 PDF BibTeX XML Cite \textit{G. Curi}, J. Symb. Log. 83, No. 2, 598--616 (2018; Zbl 1445.03072) Full Text: DOI OpenURL
Včelař, František; Pátíková, Zuzana On fuzzification of Tarski’s fixed point theorem without transitivity. (English) Zbl 1383.06002 Fuzzy Sets Syst. 320, 93-113 (2017). Reviewer: Yuri Movsisyan (Yerevan) MSC: 06B23 06B05 06B75 PDF BibTeX XML Cite \textit{F. Včelař} and \textit{Z. Pátíková}, Fuzzy Sets Syst. 320, 93--113 (2017; Zbl 1383.06002) Full Text: DOI OpenURL
Pous, Damien Coinduction all the way up. (English) Zbl 1394.68352 Proceedings of the 2016 31st annual ACM/IEEE symposium on logic in computer science, LICS 2016, New York City, NY, USA, July 5–8, 2016. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-4391-6). 307-316 (2016). MSC: 68T15 03B35 06B23 68N30 PDF BibTeX XML Cite \textit{D. Pous}, in: Proceedings of the 2016 31st annual ACM/IEEE symposium on logic in computer science, LICS 2016, New York City, NY, USA, July 5--8, 2016. New York, NY: Association for Computing Machinery (ACM). 307--316 (2016; Zbl 1394.68352) Full Text: DOI HAL OpenURL
Cid, J. Ángel On extending existence theory from scalar ordinary differential equations to infinite quasimonotone systems of functional equations. (English) Zbl 1074.34061 Proc. Am. Math. Soc. 133, No. 9, 2661-2670 (2005). Reviewer: George Karakostas (Ioannina) MSC: 34K05 34K30 PDF BibTeX XML Cite \textit{J. Á. Cid}, Proc. Am. Math. Soc. 133, No. 9, 2661--2670 (2005; Zbl 1074.34061) Full Text: DOI OpenURL
Kulenović, M. R. S.; Ljubović, Ć. The asymptotic behavior of nonoscillatory solutions of some nonlinear differential equations. (English) Zbl 0967.34044 Nonlinear Anal., Theory Methods Appl., Ser. A, Theory Methods 42, No. 5, 821-833 (2000). Reviewer: Irena Rachůnková (Olomouc) MSC: 34D05 34C10 34C11 34A34 PDF BibTeX XML Cite \textit{M. R. S. Kulenović} and \textit{Ć. Ljubović}, Nonlinear Anal., Theory Methods Appl., Ser. A, Theory Methods 42, No. 5, 821--833 (2000; Zbl 0967.34044) Full Text: DOI OpenURL