Infinitary Axiomatizability of Slender and Cotorsion-Free Groups

Thumbnail Image

Date

Authors

Journal Title

Journal ISSN

Volume Title

Publisher

Abstract

Description

The classes of slender and cotorsion-free abelian groups are axiomatizable in the infinitary logics L_{infty,omega_1} and L_{infty,omega}, respectively. The Baer-Specker group Z^omega is not L_{infty,omega_1}-equivalent to a slender group.

Keywords

Logic, 20A15 (Primary) 03C55, 03C75, 20A05, 20K20 (Secondary)

Citation

URI

http://salesiana.dossiersoluciones.com/handle/123456789/79302

Consulte el texto completo en el siguiente enlace:

https://arxiv.org/abs/math/9910162
 http://arxiv.org/abs/math/9910162
 Bull. Belg. Math. Soc. Simon Stevin 7 No. 4 (2000) 623--629

Collections

arXiv