Paola D'Aquino

According to our database, Paola D'Aquino authored at least 18 papers between 1988 and 2017.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of three.

2017

Model Theory of Some Local Rings.

Paola D'Aquino, Angus Macintyre

FLAP, 2017

2016

Preface.

Uri Abraham, Lev D. Beklemishev, Paola D'Aquino, Marcus Tressl

Ann. Pure Appl. Log., 2016

2015

A Valuation Theoretic Characterization of Recursively saturated Real Closed Fields.

Paola D'Aquino, Salma Kuhlmann, Karen M. Lange

J. Symb. Log., 2015

Erratum to: Limit computable integer parts.

Paola D'Aquino, Julia F. Knight, Karen M. Lange

Arch. Math. Log., 2015

2012

Corrigendum to: "Real closed fields and models of arithmetic".

Paola D'Aquino, Julia F. Knight, Sergei Starchenko

J. Symb. Log., 2012

2011

Quadratic forms in models of IΔ₀+Ω₁, Part II: Local equivalence.

Paola D'Aquino, Angus Macintyre

Ann. Pure Appl. Log., 2011

Limit computable integer parts.

Paola D'Aquino, Julia F. Knight, Karen M. Lange

Arch. Math. Log., 2011

2010

Real closed fields and models of Peano arithmetic.

Paola D'Aquino, Julia F. Knight, Sergei Starchenko

J. Symb. Log., 2010

2007

A note on the decidability of exponential terms.

Paola D'Aquino, Giuseppina Terzo

Math. Log. Q., 2007

Quadratic forms in models of IDelta₀+Omega₁. I.

Paola D'Aquino, Angus Macintyre

Ann. Pure Appl. Log., 2007

2001

Quotient Fields of a Model of I-Delta₀ + Omega₁.

Paola D'Aquino

Math. Log. Q., 2001

1998

Solving Pell Equations Locally in Models of I Delta₀.

Paola D'Aquino

J. Symb. Log., 1998

1997

Toward the Limits of the Tennebaum Phenomenon.

Paola D'Aquino

Notre Dame J. Formal Log., 1997

1996

Pell Equations and Exponentiation in Fragments of Arithmetic.

Paola D'Aquino

Ann. Pure Appl. Log., 1996

1995

Delta₀-Complexity of the Relation y = \prod_{i <= n} F(i).

Alessandro Berarducci, Paola D'Aquino

Ann. Pure Appl. Log., 1995

1993

A Sharpened Version of McAloon's Theorem on Initial Segments of Models of I Delta₀.

Paola D'Aquino

Ann. Pure Appl. Log., 1993

1992

Local Behaviour of the Chebyshev Theorem in Models of I Delta₀.

Paola D'Aquino

J. Symb. Log., 1992

1988

Topological duality for diagonalizable algebras.

Claudio Bernardi, Paola D'Aquino

Notre Dame J. Formal Log., 1988