CANTINI, ANDREA
CANTINI, ANDREA
Lettere e Filosofia
A fixed point theory over stratified truth
2020 Cantini, Andrea
A footnote to Appendix B of Russells' The Principles of Mathematics
2021 Andrea Cantini
A logic of abstraction related to finite constructive numberclasses
1991 A.Cantini
A note on a predicatively reducible theory of iterated elementary induction
1985 A. CANTINI
A note on the theory of admissible sets with epsilon-induction restricted to formulas with one quantifiers and related systems
1983 A. CANTINI
A note on three valued logic and Tarski's theorem on truthdefinitions
1980 A. Cantini
A proposito della logica: sul concetto d'inferenza
2006 A. CANTINI
A proposito di Filosofia e Matematica: dagli oggetti ideali alle dimostrazioni
2011 A. Cantini
A remark on dependent choice and comprehension principles in second order arithmetic
1984 A. Cantini
A theory of formal truth arithmetically equivalent to ID$_1$
1990 A. CANTINI
About truth and types
2016 Cantini, Andrea
Adding choice and uniformity to weak applicative systems.
2002 A.Cantini
Asymmetric interpretation for bounded theories
1996 A. CANTINI
Bibliografia di Ettore Casari
2021 Cantini, Andrea ; Minari, Pierluigi
CHOICE AND UNIFORMITY IN WEAK APPLICATIVE THEORIES
2005 A. CANTINI
Christian, C.C., Ein Aequivalent zum 1. Unvollstaendigkeitssatz, Sitzungsber., Abt.II, Oesterr. Akad. Wiss., Math.-Naturwiss.Kl.205 (1996), 35-55 (1997)
1997 A.Cantini
Combinators and reflective truth
1992 A. Cantini
Conservativity of transitive closure over weak constructive operational set theory
2012 A.Cantini; L. Crosilla
Constructive Set Theory with operations
2008 A. Cantini; L.Crosilla
Elementary constructive operational set theory
2010 A. Cantini; L. Crosilla