Keyfi P derecelerinde kelime problemleri olan gruplar var mı?

Uzun bir süredir, herhangi bir Turing derecesi verildiğinde, kelime problemi bu derecede olan sonlu bir grup olduğu bilinmektedir. Benim sorum, aynı şeyin keyfi polinom zamanı Turing dereceleri için geçerli olup olmadığıdır . Spesifik olarak, bir Karar verilebilen bir dizi belirli kelime problemi ile, bir sonlu sunulan grubu vardır mevcut da W , örneğin, bu B ≤ P , T bir ve bir ≤ P T W ? Ayrıca özyinelemeli sundu sonlu sundu dinlenmek istekli olacaktır.$A$$W$$W\leq_T^P A$$A\leq_T^P W$

Cevabın evet olduğundan şüpheleniyorum ve başkalarının bunu bir yerde okuduklarını söylediklerini duydum, ancak bir referansı takip edemedim.

$\mathsf{NP}$

$L \subseteq A^*$$A$$G$$G$$L$

$\leq_T^p$