Paola D'Aquino

Publication Activity (10 Years)

Years Active: 1988-2017
Publications (10 Years): 2

Top Topics

Mathematical Framework

Parameter Values

Information Retrieval And Extraction

Top Venues

Arch. Math. Log.

Ann. Pure Appl. Log.

Publications

Paola D'Aquino, Angus Macintyre
Model Theory of Some Local Rings. FLAP 4 (4) (2017)
Uri Abraham, Lev D. Beklemishev, Paola D'Aquino, Marcus Tressl
Preface. Ann. Pure Appl. Log. 167 (10) (2016)
Paola D'Aquino, Salma Kuhlmann, Karen M. Lange
A Valuation Theoretic Characterization of Recursively saturated Real Closed Fields. J. Symb. Log. 80 (1) (2015)
Paola D'Aquino, Julia F. Knight, Karen M. Lange
Erratum to: Limit computable integer parts. Arch. Math. Log. 54 (3-4) (2015)
Paola D'Aquino, Julia F. Knight, Sergei Starchenko
Corrigendum to: "Real closed fields and models of arithmetic". J. Symb. Log. 77 (2) (2012)
Paola D'Aquino, Angus Macintyre
, Part II: Local equivalence. Ann. Pure Appl. Log. 162 (6) (2011)
Paola D'Aquino, Julia F. Knight, Karen M. Lange
Limit computable integer parts. Arch. Math. Log. 50 (7-8) (2011)
Paola D'Aquino, Julia F. Knight, Sergei Starchenko
Real closed fields and models of Peano arithmetic. J. Symb. Log. 75 (1) (2010)
Paola D'Aquino, Angus Macintyre
. I. Ann. Pure Appl. Log. 148 (1-3) (2007)
Paola D'Aquino, Giuseppina Terzo
A note on the decidability of exponential terms. Math. Log. Q. 53 (3) (2007)
Paola D'Aquino
. Math. Log. Q. 47 (3) (2001)
Paola D'Aquino
. J. Symb. Log. 63 (2) (1998)
Paola D'Aquino
Toward the Limits of the Tennebaum Phenomenon. Notre Dame J. Formal Log. 38 (1) (1997)
Paola D'Aquino
Pell Equations and Exponentiation in Fragments of Arithmetic. Ann. Pure Appl. Log. 77 (1) (1996)
Alessandro Berarducci, Paola D'Aquino
F(i). Ann. Pure Appl. Log. 75 (1-2) (1995)
Paola D'Aquino
. Ann. Pure Appl. Log. 61 (1-2) (1993)
Paola D'Aquino
. J. Symb. Log. 57 (1) (1992)
Claudio Bernardi, Paola D'Aquino
Topological duality for diagonalizable algebras. Notre Dame J. Formal Log. 29 (3) (1988)