A Reduction of the Open Sentence Problem for Finite Groups

1981 ◽  
Vol 13 (4) ◽  
pp. 331-338 ◽  
Author(s):  
Verena Huber-Dyson
Keyword(s):  
1974 ◽  
Vol 17 (4) ◽  
pp. 414-425 ◽  
Author(s):  
Verena Huber Dyson

This paper is an outgrowth of my old battle with the open sentence problem for the theory of finite groups. The unsolvability of the word problem for groups (cf. [1] and [4]) entails the undecidability of the open sentence problem for the elementary theory of groups and thus strengthens the original undecidability result for this theory (cf. [7]). The fact that the elementary theory of finite groups is also undecidable (cf. [2] and [6]) therefore justifies my interest in the open sentence problem for that theory. This paper contains a construction of groups that might lead to a negative solution.


Author(s):  
Simon R. Blackburn ◽  
Peter M. Neumann ◽  
Geetha Venkataraman
Keyword(s):  

2009 ◽  
Author(s):  
Tullio Ceccherini-Silberstein ◽  
Fabio Scarabotti ◽  
Filippo Tolli

2018 ◽  
Vol 60 (3) ◽  
pp. 506-517
Author(s):  
V. Amjid ◽  
W. Guo ◽  
B. Li
Keyword(s):  

Sign in / Sign up

Export Citation Format

Share Document