This language is formally characterized by a finitely cocomplete category of terms.
Ce langage est caractérisé formellement par une catégorie de termes finiment cocomplète.
fitting with a measured spectrum is repeated finitely by varying the model and angle of incidence
l'adaptation à un spectre mesuré est répétée de façon finie par variation du modèle et de l'angle d'incidence
A theory that can be axiomatized without schemata is said to be finitely axiomatized.
Une théorie qui peut être axiomatisée sans schéma est dite finiment axiomatisable.
Another application in the paper produced a new example of a finitely presented group with unsolvable word problem.
Une autre application dans le document produit un nouvel exemple d'un groupe finiment présenté avec mot problème insoluble.
In other words, the uniform word problem for the class of all finitely presented groups with solvable word problem is unsolvable.
En d'autres termes, le problème du mot uniforme n'est pas résoluble pour la classe de tous les groupes finiment présentés.
It is also sufficiently available for its *woruld to become in(de)finitely high and varied.
Elle est aussi assez disponible pour qu'il devienne in(dé)finiment haut et varié.
The intuitive definition is pretty clear and we realise that Pi is finitely definable, notably due to it's expansion in infinite series.
La définition intuitive est assez claire et on se rend compte évidemment que Pi est finiment définissable, notamment grâce à ses développements en série infinie.
In fact Boone had constructed for his doctoral thesis an example of a finitely presented group with no way to decide if a given element lies in the subsemigroup generated a fixed finite set.
En fait Boone avait construit pour sa thèse de doctorat, un exemple d'un groupe finiment présenté avec aucun moyen de déterminer si un élément donné réside dans le subsemigroup généré fixe un ensemble fini.
Another famous contribution made by Thue was his 1910 paper on the word problem for finitely presented semigroups.
Un autre célèbre contribution apportée par Thue était son document de 1910 sur le mot problème pour les semigroupes finiment présenté.
The word and conjugacy search problems are in GenP for all fixed finitely presented groups.
Le problème des mots et le problème de la conjugaison sont dans la classe GenP pour les groupes finiment présentés.
It states that every aspherical 3-manifold is finitely covered by a Haken manifold.
Elle affirme que toute 3-variété asphérique est finiment couverte par une variété de Haken.