-категоричные коммутативные кольца
We complete the characterization of Ext(G,ℤ) for any torsion-free abelian group G assuming Gödel’s axiom of constructibility plus there is no weakly compact cardinal. In particular, we prove in (V = L) that, for a singular cardinal ν of uncountable cofinality which is less than the first weakly compact cardinal and for every sequence of cardinals satisfying (where Π is the set of all primes), there is a torsion-free abelian group G of size ν such that equals the p-rank of Ext(G,ℤ) for every...
We show that log is needed to eliminate quantifiers in the theory of the real numbers with restricted analytic functions and exponentiation.
We construct a totally ordered set Γ of positive infinite germs (i.e. germs of positive real-valued functions that tend to +∞), with order type being the lexicographic product ℵ1 × ℤ2. We show that Γ admits order preserving automorphisms of pairwise distinct growth rates.
We show that for no infinite group the class of abelian-by- groups is elementary, but, at least when is an infinite elementary abelian -group (with prime), the class of groups admitting a normal abelian subgroup whose quotient group is elementarily equivalent to is elementary.
In this paper we introduce a new invariant for extensions of difference fields, the distant degree, and discuss its properties.