Search the dblp DataBase

Publications of Author

1. Alessandro Berarducci, Paola D'Aquino
   Delta₀-Complexity of the Relation y = \prod_{i <= n} F(i). [Citation Graph (0, 0)][DBLP]
   Ann. Pure Appl. Logic, 1995, v:75, n:1-2, pp:49-56 [Journal]
   
2. Paola D'Aquino
   A Sharpened Version of McAloon's Theorem on Initial Segments of Models of I Delta₀. [Citation Graph (0, 0)][DBLP]
   Ann. Pure Appl. Logic, 1993, v:61, n:1-2, pp:49-62 [Journal]
   
3. Paola D'Aquino
   Pell Equations and Exponentiation in Fragments of Arithmetic. [Citation Graph (0, 0)][DBLP]
   Ann. Pure Appl. Logic, 1996, v:77, n:1, pp:1-34 [Journal]
   
4. Paola D'Aquino
   Local Behaviour of the Chebyshev Theorem in Models of I Delta₀. [Citation Graph (0, 0)][DBLP]
   J. Symb. Log., 1992, v:57, n:1, pp:12-27 [Journal]
   
5. Paola D'Aquino
   Solving Pell Equations Locally in Models of I Delta₀. [Citation Graph (0, 0)][DBLP]
   J. Symb. Log., 1998, v:63, n:2, pp:402-410 [Journal]
   
6. Paola D'Aquino
   Quotient Fields of a Model of I-Delta₀ + Omega₁. [Citation Graph (0, 0)][DBLP]
   Math. Log. Q., 2001, v:47, n:3, pp:305-314 [Journal]
   
7. Paola D'Aquino
   Towards the Limits of the Tennebaum Phenomenon. [Citation Graph (0, 0)][DBLP]
   Notre Dame Journal of Formal Logic, 1997, v:38, n:1, pp:81-92 [Journal]
   
8. Paola D'Aquino, Angus Macintyre
   Quadratic forms in models of IDelta₀+Omega₁. I. [Citation Graph (0, 0)][DBLP]
   Ann. Pure Appl. Logic, 2007, v:148, n:1-3, pp:31-48 [Journal]