A. Baudisch, The elementary theory oJ dbelian groups with m-chains of pure subgroups, Fund. Math. (to appear). Home/Search Document Not in Database Summary Related Articles |
This paper is cited in the following contexts:
Stationary Logic And Ordinals - Seese (1981) (Correct)
....[10, Example 2.6] This proves the undecidability of Th, K) Q.E.D. Theorem 1.1 is a correction of [21] where the opposite was announced. It answers a corresponding question from [7] Eklof and Mekler proved in [7] that Abelian groups and moreover modules are finitely determinate. There and in [2] is also proved that the (aa) theory of Abelian groups is decidable. In [22] it is proved that each well founded tree of height 0 is finitely determinate and that the corresponding (aa) theory is decidable. Barwise and Kunen showed that w t is finitely determinate (see [10] for a proof) ....
A. Baudisch, The elementary theory oJ dbelian groups with m-chains of pure subgroups, Fund. Math. (to appear).
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC