We examine the properties of existentially closed (${}^{\omega }$-embeddable) II₁ factors. In particular, we use the fact that every automorphism of an existentially closed (${}^{\omega }$-embeddable) II₁ factor is approximately inner to prove that Th() is not model-complete. We also show that Th() is complete for both finite and infinite forcing and use the latter result to prove that there exist continuum many nonisomorphic existentially closed models of Th().

Given an o-minimal expansion ℜ of the ordered additive group of real numbers and E ⊆ ℝ, we consider the extent to which basic metric and topological properties of subsets of ℝ definable in the expansion (ℜ,E) are inherited by the subsets of ℝ definable in certain expansions of (ℜ,E). In particular, suppose that $f\left(E^m\right)$ has no interior for each m ∈ ℕ and $f:{ℝ}^m\to ℝ$ definable in ℜ, and that every subset of ℝ definable in (ℜ,E) has interior or is nowhere dense. Then every subset of ℝ definable in (ℜ,(S)) has interior...

Let K be a subfield of the real field, D ⊆ K be a discrete set and f: Dⁿ → K be such that f(Dⁿ) is somewhere dense. Then (K,f) defines ℤ. We present several applications of this result. We show that K expanded by predicates for different cyclic multiplicative subgroups defines ℤ. Moreover, we prove that every definably complete expansion of a subfield of the real field satisfies an analogue of the Baire category theorem.

The open core of a structure ℜ := (ℝ,<,...) is defined to be the reduct (in the sense of definability) of ℜ generated by all of its definable open sets. If the open core of ℜ is o-minimal, then the topological closure of any definable set has finitely many connected components. We show that if every definable subset of ℝ is finite or uncountable, or if ℜ defines addition and multiplication and every definable open subset of ℝ has finitely many connected components, then the open core of ℜ is...

We define and compare, by model-theoretical methods, some exponentiations over the quantum algebra $U_q\left(s{l}_2\left(ℂ\right)\right)$. We discuss two cases, according to whether the parameter $q$ is a root of unity. We show that the universal enveloping algebra of $s{l}_2\left(ℂ\right)$ embeds in a non-principal ultraproduct of $U_q\left(s{l}_2\left(ℂ\right)\right)$, where $q$ varies over the primitive roots of unity.

Letg:U→ℝ (U open in ℝn) be an analytic and K-subanalytic (i. e. definable in ℝanK, whereK, the field of exponents, is any subfield ofℝ) function. Then the set of points, denoted Σ, whereg does not admit an analytic extension is K-subanalytic andg can be extended analytically to a neighbourhood of Ū.

We investigate several extension properties of Fréchet differentiable functions defined on closed sets for o-minimal expansions of real closed fields.

We study the extensibility of piecewise polynomial functions defined on closed subsets of ${ℝ}^2$ to all of ${ℝ}^2$. The compact subsets of ${ℝ}^2$ on which every piecewise polynomial function is extensible to ${ℝ}^2$ can be characterized in terms of local quasi-convexity if they are definable in an o-minimal expansion of $ℝ$. Even the noncompact closed definable subsets can be characterized if semialgebraic function germs at infinity are dense in the Hardy field of definable germs. We also present a piecewise polynomial...

We extend a result of M. Tamm as follows:Let $f:A\to ℝ,A\subseteq {ℝ}^{m+n}$, be definable in the ordered field of real numbers augmented by all real analytic functions on compact boxes and all power functions $x\mapsto x^r:(0,\infty )\to ℝ,r\in ℝ$. Then there exists $N\in \mathbb{N}$ such that for all $(a,b)\in A$, if $y\mapsto f(a,y)$ is $C^N$ in a neighborhood of $b$, then $y\mapsto f(a,y)$ is real analytic in a neighborhood of $b$.

We generalize a question of Büchi: Let R be an integral domain, C a subring and k ≥ 2 an integer. Is there an algorithm to decide the solvability in R of any given system of polynomial equations, each of which is linear in the kth powers of the unknowns, with coefficients in C? We state a number-theoretical problem, depending on k, a positive answer to which would imply a negative answer to the question for R = C = ℤ. We reduce a negative answer for k = 2 and for...