The basic theory of these properness conditions is summarized, with somewhat more attention paid to pointwise properness.
|
Es resumeix la teoria bàsica d’aquestes condicions de propietat, prestant una mica més d’atenció a la propietat puntual.
|
Font: AINA
|
Properness conditions for actions and coactions
|
Condicions de propietat de les accions i coaccions
|
Font: AINA
|
Properness of the global-to-local map for algebraic groups with toric connected component and other finiteness properties
|
Adequació del mapa de global a local per a grups algebraics amb component connectat tòric i altres propietats de finitud
|
Font: AINA
|
Three properness conditions for actions of locally compact groups on C * -algebras are studied, as well as their dual analogues for coactions.
|
S’estudien tres condicions de propietat per a accions de grups localment compactes a C * -àlgebres, així com els seus anàlegs duals per a coaccions.
|
Font: AINA
|
Furthermore, we prove an equivalence of properness, finite weighted volume and exponential volume growth for submanifolds with weighted mean curvature of at most linear growth.
|
A més, demostrem una equivalència de propietat, volum ponderat finit i creixement de volum exponencial per a subvarietats amb curvatura mitjana ponderada de creixement lineal com a màxim.
|
Font: AINA
|
Properness (closure under uniform substitution of all parametric parts in rules) is the main interest and added value of the present proposal, and allows for the smoothest proof of cut-elimination.
|
La propietat (tancament sota substitució uniforme de totes les parts paramètriques a les regles) és el principal interès i valor agregat de la present proposta, i permet la prova més suau d’eliminació de tall.
|
Font: AINA
|
The meanings are listed in order of properness: I. Abstract objective meaning: Truth signifies an attribute that may apply to a proposition, primarily to a proposition in itself, namely the attribute on the basis of which the proposition expresses something that in reality is as is expressed.
|
I. Significat objectiu abstracte: Veritat significa un atribut que pot aplicar-se a una proposició, principalment a una proposició en si mateixa, és a dir, l’atribut sobre la base que la proposició expressa alguna cosa que en realitat és com s’expressa.
|
Font: wikimatrix
|
Mostra més exemples
|