Paola D'Aquino

18 papers Journal 18
YearRankTypeTitle / Venue / Authors
2017 J jnl
Model Theory of Some Local Rings.
FLAP
Paola D'Aquino, Angus Macintyre
2016 J jnl
Preface.
Ann. Pure Appl. Log.
Uri Abraham, Lev D. Beklemishev, Paola D'Aquino, Marcus Tressl
2015 J jnl
A Valuation Theoretic Characterization of Recursively saturated Real Closed Fields.
J. Symb. Log.
Paola D'Aquino, Salma Kuhlmann, Karen M. Lange
2015 J jnl
Erratum to: Limit computable integer parts.
Arch. Math. Log.
Paola D'Aquino, Julia F. Knight, Karen M. Lange
2012 J jnl
Corrigendum to: "Real closed fields and models of arithmetic".
J. Symb. Log.
Paola D'Aquino, Julia F. Knight, Sergei Starchenko
2011 J jnl
Limit computable integer parts.
Arch. Math. Log.
Paola D'Aquino, Julia F. Knight, Karen M. Lange
2011 J jnl
Quadratic forms in models of IΔ
Ann. Pure Appl. Log.
Paola D'Aquino, Angus Macintyre
2010 J jnl
Real closed fields and models of Peano arithmetic.
J. Symb. Log.
Paola D'Aquino, Julia F. Knight, Sergei Starchenko
2007 J jnl
A note on the decidability of exponential terms.
Math. Log. Q.
Paola D'Aquino, Giuseppina Terzo
2007 J jnl
Quadratic forms in models of IDelta
Ann. Pure Appl. Log.
Paola D'Aquino, Angus Macintyre
2001 J jnl
Quotient Fields of a Model of I-Delta
Math. Log. Q.
Paola D'Aquino
1998 J jnl
Solving Pell Equations Locally in Models of I Delta
J. Symb. Log.
Paola D'Aquino
1997 J jnl
Toward the Limits of the Tennebaum Phenomenon.
Notre Dame J. Formal Log.
Paola D'Aquino
1996 J jnl
Pell Equations and Exponentiation in Fragments of Arithmetic.
Ann. Pure Appl. Log.
Paola D'Aquino
1995 J jnl
Delta
Ann. Pure Appl. Log.
Alessandro Berarducci, Paola D'Aquino
1993 J jnl
A Sharpened Version of McAloon's Theorem on Initial Segments of Models of I Delta
Ann. Pure Appl. Log.
Paola D'Aquino
1992 J jnl
Local Behaviour of the Chebyshev Theorem in Models of I Delta
J. Symb. Log.
Paola D'Aquino
1988 J jnl
Topological duality for diagonalizable algebras.
Notre Dame J. Formal Log.
Claudio Bernardi, Paola D'Aquino