✦ LIBER ✦

The Theory of Abelian Groups With the Quantifier (≦ x)

✍ Scribed by Andreas Baudisch

Publisher: John Wiley and Sons
Year: 1977
Tongue: English
Weight: 784 KB
Volume: 23
Category: Article
ISSN: 0044-3050
DOI: 10.1002/malq.19770232711

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Undecidability of the theory of Abelian

Undecidability of the theory of Abelian groups with an automorphism

✍ V. I. Mart'yanov 📂 Article 📅 1978 🏛 SP MAIK Nauka/Interperiodica 🌐 English ⚖ 249 KB

Theory of Abelian groups with constructi

Theory of Abelian groups with constructive models

✍ N. G. Khisamiev 📂 Article 📅 1987 🏛 SP MAIK Nauka/Interperiodica 🌐 English ⚖ 1022 KB

The theory of Abelian groups with predic

The theory of Abelian groups with predicates specifying a subgroup, and with endomorphism operations

✍ V. I. Mart'yanov 📂 Article 📅 1975 🏛 Springer US 🌐 English ⚖ 403 KB

The Elementary Theory of Torsionfree Abe

The Elementary Theory of Torsionfree Abelian Groups With a Predicate Specifying a Subgroup

✍ Peter H. Schmitt 📂 Article 📅 1982 🏛 John Wiley and Sons 🌐 English ⚖ 367 KB 👁 1 views

This is proved by induction on 7n. For ni = 0 (\*) follows immediately from the definitions. Now take a E C,:,,, for m > 0. There is c E B,,,, such t'hat ac E pCp,n,-l + + C,,;f,l+l. There is thus a' E Cl~.flr-l with a E c + pa' + Cl,.,,f+l. By induction hypothesis a' E 6' + C,.,,, for some b' E @ B

Theories of Abelian groups with predicat

Theories of Abelian groups with predicates specifying a subgroup

✍ A. M. Slobodskoi; É. I. Fridman 📂 Article 📅 1975 🏛 Springer US 🌐 English ⚖ 249 KB

An example in the model theory of abelia

An example in the model theory of abelian lattice-ordered groups

✍ Dan Saracino; Carol Wood 📂 Article 📅 1984 🏛 Springer 🌐 English ⚖ 155 KB