Foundations of mathematics is the study of the most basic concepts and logical structure of mathematics, with an eye to the unity of human knowledge. Almost all of the problems studied in this bookâ€¦ (More)

The notion of a D-ring, generalizing that of a differential or a difference ring, is introduced. Quantifier elimination and a version of the AxKochen-Ershov principle is proven for a theory of valuedâ€¦ (More)

Communication, i.e., moving data, between levels of a memory hierarchy or between parallel processors on a network, can greatly dominate the cost of computation, so algorithms that minimizeâ€¦ (More)

We study algebraic dynamical systems (and, more generally, Ïƒ-varieties) Î¦ : AC â†’ AC given by coordinatewise univariate polynomials by refining an old theorem of Ritt on compositional identitiesâ€¦ (More)

We give axiomatizations and prove quantifier elimination theorems for first-order theories of unramified valued fields with an automorphism having a close interaction with the valuation. We achieveâ€¦ (More)

We point out that a certain complex compact manifold constructed by Lieberman has the dimensional order property, and has U -rank different from Morley rank. We also give a sufficient condition for aâ€¦ (More)

We provide a family of counterexamples to a first formulation of the dynamical Manin-Mumford conjecture. We propose a revision of this conjecture and prove it for endomorphisms of abelian varietiesâ€¦ (More)

We show that a connected group interpretable in a compact complex manifold (a meromorphic group) is definably an extension of a complex torus by a linear algebraic group, generalizing results in [4].â€¦ (More)

OBJECTIVE
To assess HIV testing rate and determine risk factors for not have been tested during pregnancy.
METHODS
A cross-sectional study was carried out in Porto Alegre, Southern Brazil, fromâ€¦ (More)