| |
| 2007 | ||
|---|---|---|
| 9 | EE | Paola D'Aquino, Angus Macintyre: Quadratic forms in models of IDelta0+Omega1. I. Ann. Pure Appl. Logic 148(1-3): 31-48 (2007) |
| 8 | EE | Paola D'Aquino, Giuseppina Terzo: A note on the decidability of exponential terms. Math. Log. Q. 53(3): 306-310 (2007) |
| 2001 | ||
| 7 | EE | Paola D'Aquino: Quotient Fields of a Model of I-Delta0 + Omega1. Math. Log. Q. 47(3): 305-314 (2001) |
| 1998 | ||
| 6 | Paola D'Aquino: Solving Pell Equations Locally in Models of I Delta0. J. Symb. Log. 63(2): 402-410 (1998) | |
| 1997 | ||
| 5 | Paola D'Aquino: Towards the Limits of the Tennebaum Phenomenon. Notre Dame Journal of Formal Logic 38(1): 81-92 (1997) | |
| 1996 | ||
| 4 | Paola D'Aquino: Pell Equations and Exponentiation in Fragments of Arithmetic. Ann. Pure Appl. Logic 77(1): 1-34 (1996) | |
| 1995 | ||
| 3 | Alessandro Berarducci, Paola D'Aquino: Delta0-Complexity of the Relation y = \prodi <= n F(i). Ann. Pure Appl. Logic 75(1-2): 49-56 (1995) | |
| 1993 | ||
| 2 | Paola D'Aquino: A Sharpened Version of McAloon's Theorem on Initial Segments of Models of I Delta0. Ann. Pure Appl. Logic 61(1-2): 49-62 (1993) | |
| 1992 | ||
| 1 | Paola D'Aquino: Local Behaviour of the Chebyshev Theorem in Models of I Delta0. J. Symb. Log. 57(1): 12-27 (1992) | |
| 1 | Alessandro Berarducci | [3] |
| 2 | Angus Macintyre | [9] |
| 3 | Giuseppina Terzo | [8] |