Paola D'Aquino

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

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2017
Model Theory of Some Local Rings.
FLAP, 2017

2016
Preface.
Ann. Pure Appl. Logic, 2016

2015
A Valuation Theoretic Characterization of Recursively saturated Real Closed Fields.
J. Symb. Log., 2015

Erratum to: Limit computable integer parts.
Arch. Math. Log., 2015

2012
Corrigendum to: "Real closed fields and models of arithmetic".
J. Symb. Log., 2012

2011
Quadratic forms in models of IΔ01, Part II: Local equivalence.
Ann. Pure Appl. Logic, 2011

Limit computable integer parts.
Arch. Math. Log., 2011

2010
Real closed fields and models of Peano arithmetic.
J. Symb. Log., 2010

2007
A note on the decidability of exponential terms.
Math. Log. Q., 2007

Quadratic forms in models of IDelta0+Omega1. I.
Ann. Pure Appl. Logic, 2007

2001
Quotient Fields of a Model of I-Delta0 + Omega1.
Math. Log. Q., 2001

1998
Solving Pell Equations Locally in Models of I Delta0.
J. Symb. Log., 1998

1997
Toward the Limits of the Tennebaum Phenomenon.
Notre Dame Journal of Formal Logic, 1997

1996
Pell Equations and Exponentiation in Fragments of Arithmetic.
Ann. Pure Appl. Logic, 1996

1995
Delta0-Complexity of the Relation y = \prodi <= n F(i).
Ann. Pure Appl. Logic, 1995

1993
A Sharpened Version of McAloon's Theorem on Initial Segments of Models of I Delta0.
Ann. Pure Appl. Logic, 1993

1992
Local Behaviour of the Chebyshev Theorem in Models of I Delta0.
J. Symb. Log., 1992

1988
Topological duality for diagonalizable algebras.
Notre Dame Journal of Formal Logic, 1988


  Loading...