Researcher profile

Paola D'Aquino

Paola D'Aquino contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate

Trust snapshot

Quick read

Trust 19 - Baseline
5works
0followers
2topics
4close collaborators

Actions

Decide how to stay connected

Follow researcher0

Research graph

See the researcher in context

Open full explorer

Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.

Building this graph slice

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

5 published item(s)

preprint2020arXiv

Some model-theoretic perspectives on the structure sheaves of Z hat and the ring of finite adèles over Q

We use the classical Ax-Kochen-Ershov analysis of the model theory of Henselian fields to bring out some model-theoretical aspects of the structure sheaf of the spectrum of Z^ and the ring of finite adèles over Q. We show that various structures associated to a prime ideal, such as quotients and localizations, are well understood model-theoretically, and they are closely connected to ultrafilters on the set of standard primes.

preprint2015arXiv

A note on $\aleph_α$-saturated o-minimal expansions of real closed fields

We give necessary and sufficient conditions for a polynomially bounded o-minimal expansion of a real closed field (in a language of arbitrary cardinality) to be $\aleph_α$-saturated. The conditions are in terms of the value group, residue field, and pseudo- Cauchy sequences of the natural valuation on the real closed field. This is achieved by an analysis of types, leading to the trichotomy. Our characterization provides a construction method for saturated models, using fields of generalized power series.

preprint2011arXiv

Real closed exponential fields

In an extended abstract Ressayre considered real closed exponential fields and integer parts that respect the exponential function. He outlined a proof that every real closed exponential field has an exponential integer part. In the present paper, we give a detailed account of Ressayre&#39;s construction, which becomes canonical once we fix the real closed exponential field, a residue field section, and a well ordering of the field. The procedure is constructible over these objects; each step looks effective, but may require many steps. We produce an example of an exponential field $R$ with a residue field $k$ and a well ordering $<$ such that $D^c(R)$ is low and $k$ and $<$ are $Δ^0_3$, and Ressayre&#39;s construction cannot be completed in $L_{ω_1^{CK}}$.