Some lower bounds on Shelah rank in the free group

, &
Annals of Pure and Applied Logic 171 (6):102794 (2020)
  Copy   BIBTEX

Abstract

We give some lower bounds on the Shelah rank of varieties in the free group whose coordinate groups are hyperbolic towers.

Categories

Keywords

Reprint years

DOI

10.1016/j.apal.2020.102794

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,551

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

Groups elementarily equivalent to a free nilpotent group of finite rank.Alexei G. Myasnikov & Mahmood Sohrabi - 2011 - Annals of Pure and Applied Logic 162 (11):916-933.
On superstable CSA-groups.Abderezak Ould Houcine - 2008 - Annals of Pure and Applied Logic 154 (1):1-7.
On superstable CSA-groups.Abderezak Houcine - 2008 - Annals of Pure and Applied Logic 154 (1):1-7.
Finite automata presentable Abelian groups.André Nies & Pavel Semukhin - 2010 - Annals of Pure and Applied Logic 161 (3):458-467.
On lengths of proofs in non-classical logics.Pavel Hrubeš - 2009 - Annals of Pure and Applied Logic 157 (2-3):194-205.
Order types of free subsets.Heike Mildenberger - 1997 - Annals of Pure and Applied Logic 89 (1):75-83.
Lower complexity bounds in justification logic.Samuel R. Buss & Roman Kuznets - 2012 - Annals of Pure and Applied Logic 163 (7):888-905.
More on lower bounds for partitioning α-large sets.Henryk Kotlarski, Bożena Piekart & Andreas Weiermann - 2007 - Annals of Pure and Applied Logic 147 (3):113-126.
Circuit lower bounds in bounded arithmetics.Ján Pich - 2015 - Annals of Pure and Applied Logic 166 (1):29-45.
Superrosy dependent groups having finitely satisfiable generics.Clifton Ealy, Krzysztof Krupiński & Anand Pillay - 2008 - Annals of Pure and Applied Logic 151 (1):1-21.

Analytics

Added to PP
2020-03-20

Downloads
20 (#1,043,550)

6 months
6 (#869,904)

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 (non) superstable part of the free group.Chloé Perin & Rizos Sklinos - 2016 - Mathematical Logic Quarterly 62 (1-2):88-93.

Add more references