Jäger, Gerhard; Probst, Dieter A proof-theoretic analysis of theories for stratified inductive definitions. (English) Zbl 1380.03071 Kahle, Reinhard (ed.) et al., Gentzen’s centenary. The quest for consistency. Cham: Springer (ISBN 978-3-319-10102-6/pbk; 978-3-319-10103-3/ebook). 425-454 (2015). MSC: 03F30 03F15 03F05 03D70 PDFBibTeX XMLCite \textit{G. Jäger} and \textit{D. Probst}, in: Gentzen's centenary. The quest for consistency. Cham: Springer. 425--454 (2015; Zbl 1380.03071) Full Text: DOI
Bondoni, Davide To found or not to found? That is the question! (English) Zbl 1369.03029 Log. Log. Philos. 24, No. 2, 217-240 (2015). MSC: 03A05 03-03 01A55 03D70 PDFBibTeX XMLCite \textit{D. Bondoni}, Log. Log. Philos. 24, No. 2, 217--240 (2015; Zbl 1369.03029) Full Text: DOI arXiv
Korovina, Margarita; Kudinov, Oleg Positive predicate structures for continuous data. (English) Zbl 1361.68069 Math. Struct. Comput. Sci. 25, No. 8, 1669-1684 (2015). MSC: 68P05 03D45 03D70 03D75 PDFBibTeX XMLCite \textit{M. Korovina} and \textit{O. Kudinov}, Math. Struct. Comput. Sci. 25, No. 8, 1669--1684 (2015; Zbl 1361.68069) Full Text: DOI