Paola D'Aquino

	2012
13		Paola D'Aquino, Julia F. Knight, Sergei Starchenko: Corrigendum to: "Real closed fields and models of arithmetic". J. Symb. Log. 77(2): 726 (2012)
	2011
12		Paola D'Aquino, Angus Macintyre: Quadratic forms in models of IΔ0+Ω1, Part II: Local equivalence. Ann. Pure Appl. Logic 162(6): 447-456 (2011)
11		Paola D'Aquino, Julia F. Knight, Karen Lange: Limit computable integer parts. Arch. Math. Log. 50(7-8): 681-695 (2011)
	2010
10		Paola D'Aquino, Julia F. Knight, Sergei Starchenko: Real closed fields and models of Peano arithmetic. J. Symb. Log. 75(1): 1-11 (2010)
	2007
9		Paola D'Aquino, Angus Macintyre: Quadratic forms in models of IDelta0+Omega1. I. Ann. Pure Appl. Logic 148(1-3): 31-48 (2007)
8		Paola D'Aquino, Giuseppina Terzo: A note on the decidability of exponential terms. Math. Log. Q. 53(3): 306-310 (2007)
	2001
7		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: Toward 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)

Coauthor Index

1	Alessandro Berarducci	[3]
2	Julia F. Knight	[10] [11] [13]
3	Karen Lange	[11]
4	Angus Macintyre	[9] [12]
5	Sergei Starchenko	[10] [13]
6	Giuseppina Terzo	[8]

Colors in the list of coauthors

Last update Tue May 29 01:28:40 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page