Two remarks on elementary theories of groups obtained by free constructions

Mathematical Logic Quarterly 59 (1-2):12-18 (2013)
  Copy   BIBTEX

Abstract

We give two slight generalizations of results of Poizat about elementary theories of groups obtained by free constructions. The first-one concerns generic types and the non-superstability of such groups in many cases. The second-one concerns the connectedness of most free products of groups without amalgamation

Categories

Keywords

Reprint years

DOI

10.1002/malq.201200010

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,709

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Tarski's problem for varieties of groups with a commutator identity.John Lawrence - 1986 - Journal of Symbolic Logic 51 (1):75-78.
Finitely generated free MV-algebras and their automorphism groups.Antonio Di Nola, Revaz Grigolia & Giovanni Panti - 1998 - Studia Logica 61 (1):65-78.
The τ-theory for free groups is undecidable.Libo Lo - 1983 - Journal of Symbolic Logic 48 (3):700-703.
On stable torsion-free nilpotent groups.Claus Grünenwald & Frieder Haug - 1993 - Archive for Mathematical Logic 32 (6):451-462.
Undecidable lt theories of topological Abelian groups.Gregory L. Cherlin & Peter H. Schmitt - 1981 - Journal of Symbolic Logic 46 (4):761 - 772.
Decidability and Computability of Certain Torsion-Free Abelian Groups.Rodney G. Downey, Sergei S. Goncharov, Asher M. Kach, Julia F. Knight, Oleg V. Kudinov, Alexander G. Melnikov & Daniel Turetsky - 2010 - Notre Dame Journal of Formal Logic 51 (1):85-96.
Reverse Mathematics and Fully Ordered Groups.Reed Solomon - 1998 - Notre Dame Journal of Formal Logic 39 (2):157-189.
Independence property and hyperbolic groups.Eric Jaligot, Alexey Muranov & Azadeh Neman - 2008 - Bulletin of Symbolic Logic 14 (1):88 - 98.
The model theory of finitely generated finite-by-Abelian groups.Francis Oger - 1984 - Journal of Symbolic Logic 49 (4):1115-1124.
One-basedness and groups of the form G/G00.Davide Penazzi - 2011 - Archive for Mathematical Logic 50 (7-8):743-758.
On the generic type of the free group.Rizos Sklinos - 2011 - Journal of Symbolic Logic 76 (1):227 - 234.
The metaphysics of groups.Nikk Effingham - 2010 - Philosophical Studies 149 (2):251-267.
Comparison of exponential-logarithmic and logarithmic-exponential series.Salma Kuhlmann & Marcus Tressl - 2012 - Mathematical Logic Quarterly 58 (6):434-448.
Hyperbolic Towers and Independent Generic Sets in the Theory of Free Groups.Larsen Louder, Chloé Perin & Rizos Sklinos - 2013 - Notre Dame Journal of Formal Logic 54 (3-4):521-539.

Analytics

Added to PP
2013-12-01

Downloads
18 (#828,704)

6 months
1 (#1,462,504)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

Groupes Stables, avec types génériques réguliers.Bruno Poizat - 1983 - Journal of Symbolic Logic 48 (2):339-355.
On the generic type of the free group.Rizos Sklinos - 2011 - Journal of Symbolic Logic 76 (1):227 - 234.
Generix Never Gives Up.Eric Jaligot - 2006 - Journal of Symbolic Logic 71 (2):599 - 610.

Add more references