Cantini, Andrea Feasible operations and applicative theories based on \(\lambda\eta\). (English) Zbl 0968.03067 Math. Log. Q. 46, No. 3, 291-311 (2000). Reviewer: Thomas Strahm (Bern) MSC: 03F30 03B40 03D15 PDFBibTeX XMLCite \textit{A. Cantini}, Math. Log. Q. 46, No. 3, 291--311 (2000; Zbl 0968.03067) Full Text: DOI
Cantini, Andrea Asymmetric interpretations for bounded theories. (English) Zbl 0849.03045 Math. Log. Q. 42, No. 2, 270-288 (1996). Reviewer: A.Cantini (Firenze) MSC: 03F30 03F35 PDFBibTeX XMLCite \textit{A. Cantini}, Math. Log. Q. 42, No. 2, 270--288 (1996; Zbl 0849.03045) Full Text: DOI
Cantini, Andrea Levels of implication and type free theories of partial classifications with approximation operator. (English) Zbl 0793.03067 Z. Math. Logik Grundlagen Math. 38, No. 2, 107-141 (1992). Reviewer: A.Cantini (Firenze) MSC: 03F35 03D60 03B40 PDFBibTeX XMLCite \textit{A. Cantini}, Z. Math. Logik Grundlagen Math. 38, No. 2, 107--141 (1992; Zbl 0793.03067) Full Text: DOI
Cantini, Andrea Two impredicative theories or properties and sets. (English) Zbl 0654.03008 Z. Math. Logik Grundlagen Math. 34, No. 5, 403-420 (1988). Reviewer: A.Cantini MSC: 03B40 03B15 03E70 PDFBibTeX XMLCite \textit{A. Cantini}, Z. Math. Logik Grundlagen Math. 34, No. 5, 403--420 (1988; Zbl 0654.03008) Full Text: DOI
Cantini, Andrea A note on the theory of admissible sets with \(\epsilon\)-induction restricted to formulas with one quantifier and related systems. (English) Zbl 0558.03027 Boll. Unione Mat. Ital., VI. Ser., B 2, 721-737 (1983). Reviewer: H.Pfeiffer MSC: 03F10 03F25 PDFBibTeX XMLCite \textit{A. Cantini}, Boll. Unione Mat. Ital., VI. Ser., B 2, 721--737 (1983; Zbl 0558.03027)