Sciweavers

APAL
1999
90views more  APAL 1999»
13 years 11 months ago
On Distinguishing Quotients of Symmetric Groups
A study is carried out of the elementary theory of quotients of symmetric groups in a similar spirit to [10]. Apart from the trivial and alternating subgroups, the normal subgroup...
Saharon Shelah, J. K. Truss
JCSS
2007
75views more  JCSS 2007»
13 years 11 months ago
Undecidability of the structure of the Solovay degrees of c.e. reals
We show that the elementary theory of the structure of the Solovay degrees of computably enumerable reals is undecidable.
Rodney G. Downey, Denis R. Hirschfeldt, Geoffrey L...
MLQ
2008
63views more  MLQ 2008»
13 years 11 months ago
Elementary constructive theory of Henselian local rings
Abstract. We give an elementary theory of Henselian local rings and construct the Henselization of a local ring. All our theorems have an algorithmic content.
Maria Emilia Alonso, Henri Lombardi, Hervé ...