logique infini-valente et décidabilité

psi

Bonjour

J'ai deux questions assez différentes la première est sur un théorème de Godel
"la logique intuitionniste n'est pas fini-valente"
est-elle infini-valente avec un infini dénombrable(je le crois et je me demande aussi si il y aurait une différence si cela était N ou Q) ou indénombrable?

La deuxième est "la théorie des groupes abeliens est décidable mais pas celle des groupes non-abeliens, quel lien y a t il donc entre commutativité et décidabilité ?"

Merci de vos futures réponses.

psi

je remonte un peu dans le doute que cela n'ait pas été lu par gérard ou chalons qui ont surement la réponse.

Merci de vos réponses.

psi

je remonte encore une fois, sait on jamais peut être aurais je plus de chance pour avoir uneréponse pendant le week end.

Si vous avez juste une idée ou une indication de papiers ou de livres qui pourraient m'aider n'hésitez pas.