$\mathcal{L}$-homomorphisms of Lie algebras

Aleksander A. Lashkhi

The search session has expired. Please query the service again.

Displaying similar documents to “ $\mathcal{L}$ -homomorphisms of Lie algebras”

$\mathcal{L}$ -homomorphisms of Lie algebras

Aleksander A. Lashkhi (1981)

Atti della Accademia Nazionale dei Lincei. Classe di Scienze Fisiche, Matematiche e Naturali. Rendiconti Lincei. Matematica e Applicazioni

Similarity:

Si studiano gli omomorfismi reticolari ( $\mathcal{L}$ -omomorfismi) di algebre di Lie sopra anelli commutativi con unità. Le algebre di Lie sopra un campo e le $p$ -algebre di Lie non ammettono $\mathcal{L}$ -omomorfismi propri. Si assegnano condizioni necessarie e sufficienti affinchè un'algebra di Lie periodica o mista possieda un « $\mathcal{L}$ -omomorfismo su una catena di lunghezza $n$ .

Projection of Wreath Products of Lie Algebras

Alexander A. Lašhi (1980)

Atti della Accademia Nazionale dei Lincei. Classe di Scienze Fisiche, Matematiche e Naturali. Rendiconti

Similarity:

Sia $K$ un dominio a ideali principali, che non sia un campo e sia $L$ un'algebra di Lie su $K$ . Principale risultato: Se $L=A\,wr\,B$ , cioè se $L$ è prodotto intrecciato delle algebre di Lie precarie $A$ e $B$ , ogni isomorfismo reticolare normale di $L$ è indotto da un isomorfismo. Si prova anche, mediante un esempio, che per le algebre sopra un campo il teorema non è vero.

SCAP-subalgebras of Lie algebras

Sara Chehrazi, Ali Reza Salemkar (2016)

Czechoslovak Mathematical Journal

Similarity:

A subalgebra $H$ of a finite dimensional Lie algebra $L$ is said to be a $SCAP$ -subalgebra if there is a chief series $0 = L_{0} \subset L_{1} \subset ... \subset L_{t} = L$ of $L$ such that for every $i = 1, 2, ..., t$ , we have $H + L_{i} = H + L_{i - 1}$ or $H \cap L_{i} = H \cap L_{i - 1}$ . This is analogous to the concept of $SCAP$ -subgroup, which has been studied by a number of authors. In this article, we investigate the connection between the structure of a Lie algebra and its $SCAP$ -subalgebras and give some sufficient conditions for a Lie algebra to be solvable or supersolvable.

On the ampleness of $K_{X}\bigotimes L^{n}$ for a polarized threefold $(X,L)$

Antonio Lanteri, Marino Palleschi (1985)

Atti della Accademia Nazionale dei Lincei. Classe di Scienze Fisiche, Matematiche e Naturali. Rendiconti

Similarity:

Siano $X$ una varietà algebrica proiettiva complessa non singolare tridimensionale, $L$ un fibrato lineare ampio su $X$ , e $n\geq 2$ un intero. Si prova che, a meno di contrarre un numero finito di $-1$ -piani di $X$ , il fibrato $K_{X}\bigotimes L^{n}$ è ampio ad eccezione di alcuni casi esplicitamente descritti. Come applicazione si dimostra l'ampiezza del divisore di ramificazione di un qualunque rivestimento di $\mathbf{P}^{3}$ o della quadrica liscia di $\mathbf{P}^{4}$ .

Centralizing traces and Lie-type isomorphisms on generalized matrix algebras: a new perspective

Xinfeng Liang, Feng Wei, Ajda Fošner (2019)

Czechoslovak Mathematical Journal

Similarity:

Let $ℛ$ be a commutative ring, $𝒢$ be a generalized matrix algebra over $ℛ$ with weakly loyal bimodule and $𝒵 (𝒢)$ be the center of $𝒢$ . Suppose that $𝔮 : 𝒢 \times 𝒢 \to 𝒢$ is an $ℛ$ -bilinear mapping and that $𝔗_{𝔮} : 𝒢 \to 𝒢$ is a trace of $𝔮$ . The aim of this article is to describe the form of $𝔗_{𝔮}$ satisfying the centralizing condition $[𝔗_{𝔮} (x), x] \in 𝒵 (𝒢)$ (and commuting condition $[𝔗_{𝔮} (x), x] = 0$ ) for all $x \in 𝒢$ . More precisely, we will revisit the question of when the centralizing trace (and commuting trace) $𝔗_{𝔮}$ has the so-called proper form from a new perspective. Using the aforementioned...

Evolution equations for a class of nonlinear operators

Ennio De Giorgi, Marco Degiovanni, Antonio Marino, Mario Tosques (1983)

Atti della Accademia Nazionale dei Lincei. Classe di Scienze Fisiche, Matematiche e Naturali. Rendiconti

Similarity:

Se $A$ è un operatore in uno spazio di Hilbert e $V$ è un sotto insieme di questo spazio, in molti problemi si è indotti a modificare $A$ sul «bordo» di $V$ in modo da ottenere un operatore $A$ tale che le soluzioni dell'equazione differenziale associata $0\in U^{\prime}+\tilde{A}(U)$ non escano da $V$ . Se $V$ non è convesso, l'operatore $A$ non rientra nei casi classici esaminati, ad esempio, in [1]. In questo lavoro introduciamo alcune classi di operatori che contengono, in qualçhe caso significativo, quelli del genere sopra...

On the Holomorphic Endomorphisms of the Ball

Giovanni Bassanelli (1981)

Atti della Accademia Nazionale dei Lincei. Classe di Scienze Fisiche, Matematiche e Naturali. Rendiconti

Similarity:

Sia $F$ un endomorfismo olomorfo della palla unitaria aperta $B_{n}$ di $\bf{C}^{n}$ . In questa nota proviamo che certe ipotesi minimali, relative al comportamento di $F$ su un orociclo e vicino ad un punto del bordo, assicurano che $F$ è un automorfismo olomorfo di $B_{n}$ .

On extrapolation spaces

Giuseppe Da Prato, Pierre Grisvard (1982)

Atti della Accademia Nazionale dei Lincei. Classe di Scienze Fisiche, Matematiche e Naturali. Rendiconti

Similarity:

Si definisce un nuovo tipo di spazi a partire da un dato spazio di Banach $X$ e da un operatore lineare $A$ in $X$ . Tali spazi si possono pensare come spazi di interpolazione $D_{A}(\vartheta)$ con $\vartheta$ negativo.

A note on semi-continuous mappings

Takashi Noiri (1973)

Atti della Accademia Nazionale dei Lincei. Classe di Scienze Fisiche, Matematiche e Naturali. Rendiconti

Similarity:

Se $X$ ed $Y$ sono spazi topologici, un'applicazione $f:X\to Y$ dicesi semicontinua [3] se, per ogni insieme aperto $V$ di $Y$ , $f^{-1}(V)$ risulta un insieme semiaperto di $X$ . Qui si studiano tali applicazioni e si dànno tre loro caratterizzazioni.

A Note on Regular-closed Functions

Takashi Noiri (1981)

Atti della Accademia Nazionale dei Lincei. Classe di Scienze Fisiche, Matematiche e Naturali. Rendiconti

Similarity:

Se $X$ ed $Y$ sono spazi topologici, una funzione $f:X\to Y$ è detta regolarmente chiusa [5] se essa trasforma ogni insieme regolarmente chiuso di $X$ in un insieme chiuso di $Y$ . Si dimostra che una funzione regolarmente chiusa $f:X\to Y$ risulta chiusa se $X$ è normale.

On the adjoint system to a very ample divisor on a surface and connected inequalities. Nota I

Antonio Lanteri, Marino Palleschi (1981)

Atti della Accademia Nazionale dei Lincei. Classe di Scienze Fisiche, Matematiche e Naturali. Rendiconti

Similarity:

Siano: $S$ una superficie algebrica proiettiva complessa non singolare, $K$ un divisore canonico ed $H$ un divisore molto ampio su $S$ . Questo lavoro ha per oggetto lo studio dell'indice di autointersezione $(K+H)^{2}$ . Si dimostra, innanzitutto, la disuguaglianza ${}(K+H)^{2}\geq 0$ , nell'ipotesi che la superficie $S^{\prime}$ ottenuta immergendo $S$ mediante il sistema lineare completo $|H|$ non sia uno scroll. Questa disuguaglianza è connessa con alcuni risultati di Sommese e Van de Ven sulla generazione del fascio $\mathcal{O}_{s}(K+H)$ . La dimostrazione...

On the ampleness of $K_{X}\bigotimes L^{n}$ for a polarized threefold $(X,L)$

Antonio Lanteri, Marino Palleschi (1985)

Atti della Accademia Nazionale dei Lincei. Classe di Scienze Fisiche, Matematiche e Naturali. Rendiconti Lincei. Matematica e Applicazioni

Similarity:

On the existence of scrolls in $\bf{P}^{4}$

Antonio Lanteri (1980)

Atti della Accademia Nazionale dei Lincei. Classe di Scienze Fisiche, Matematiche e Naturali. Rendiconti

Similarity:

Si dimostra il seguente risultato. Sia $X$ una superficie proiettivamente rigata, non iperpiana, di $\bf{P}^{4}$ ; allora $X$ è la rigata cubica oppure è una rigata quintica ellittica. Si descrive inoltre una nuova generazione proiettiva delle rigate quintiche ellittiche di $\bf{P}^{4}$ .

$\bf{L}$ -embedding, Amalgamation and $\bf{L}$ -elementary equivalence

Daniele Mundici (1982)

Atti della Accademia Nazionale dei Lincei. Classe di Scienze Fisiche, Matematiche e Naturali. Rendiconti Lincei. Matematica e Applicazioni

Similarity:

Ogni logica $L$ genera canonicamente la $L$ -equivalenza $\equiv_{L}$ e la $L$ -immersione $\underset{L}{\rightarrow}$ proprio come la logica del primo ordine genera l’equivalenza elementare $\equiv$ e l’immersione elementare $\lesssim$ . Astraendo da $L$ , è interessante studiare in sè relazioni d’equivalenza e di immersione generali tra strutture. Mostriamo che esiste una corrispondenza biunivoca tra relazioni d’equivalenza con la proprietà di Robinson e relazioni d’immersione con la proprietà di Amalgamazione Forte ( $AP^{+}$ ). Caratterizziamo algebricamente...

On bibasic systems and a Retherford’s problem

Anatoli Pličko, Paolo Terenzi (1984)

Atti della Accademia Nazionale dei Lincei. Classe di Scienze Fisiche, Matematiche e Naturali. Rendiconti

Similarity:

Ogni spazio di Banach ha un sistema bibasico $(x_{n},f_{n})$ normalizzato; inoltre ogni successione $(x_{n})$ uniformemente minimale appartiene ad un sistema biortogonale limitato $(x_{n},f_{n})$ , dove $(f_{n})$ è M-basica e normante.

$\bf{L}$ -embedding, Amalgamation and $\bf{L}$ -elementary equivalence

Daniele Mundici (1982)

Atti della Accademia Nazionale dei Lincei. Classe di Scienze Fisiche, Matematiche e Naturali. Rendiconti

Similarity:

Some properties of perfect metric spaces

Angelo Bella, Biagio Ricceri (1983)

Atti della Accademia Nazionale dei Lincei. Classe di Scienze Fisiche, Matematiche e Naturali. Rendiconti

Similarity:

In questa Nota, dati uno spazio metrico perfetto $X$ ed un suo sottoinsieme $K$ chiuso e raro, si dimostra l'esistenza di una funzione continua $f:X\to[0,1]$ tale che $int(f^{-1}(t))=\emptyset$ per ogni $t\in[0,1]$ , $f(x)=0$ per ogni $x\in K$ e $f(y)=1$ per qualche $y\in X\setminus K$ . In particolare, ciò permette di dare risposta simultaneamente a due questioni poste in [2]. Si mettono in evidenza, poi, ulteriori conseguenze di tale risultato.

Cylindrical real hyper surfaces in $\mathbf{C}^{n}$

Claudio Rea (1981)

Atti della Accademia Nazionale dei Lincei. Classe di Scienze Fisiche, Matematiche e Naturali. Rendiconti

Similarity:

Si stabiliscono due condizioni sufficienti per un germe di ipersuperficie reale di classe $c^{\infty}$ in $\mathbf{C}^{n}$ affinchè esistano coordinate olomorfe rispetto alle quali l'ipersuperficie risulti essere il luogo di zeri di una funzione di $k<n$ variabili e $k$ sia minimale rispetto a questa proprietà. In altre parole si vuole che l'ipersuperficie, a meno di una trasformazione bi-olomorfa, sia l’unione di sottovarietà lineari complesse, parallele di dimensione $n — k$ .

A model for the occurrence of the acceleration of the ground caused by earthquakes

Michele Caputo (1980)

Atti della Accademia Nazionale dei Lincei. Classe di Scienze Fisiche, Matematiche e Naturali. Rendiconti

Similarity:

L’analisi statistica di quindici insiemi di misure di rilassamento di sforzo elastico in quindici differenti insiemi di terremoti (sequenze, sciami, scosse successive o terremoti scelti a caso in una regione) per un totale di 926 eventi in Italia, Giappone, Isole Aleutine, Messico e California, conferma che il rilassamento di sforzo $p$ è una funzione decrescente di $p$ ed è quasi proporzionale a $p^{x-1}$ $(a<o)$ come previsto da Caputo (1976). Usando questa distribuzione statistica e...

Partial Hölder continuity for quasilinear parabolic systems of higher order with strictly controlled growth

Mario Marino, Antonino Maugeri (1984)

Atti della Accademia Nazionale dei Lincei. Classe di Scienze Fisiche, Matematiche e Naturali. Rendiconti

Similarity:

Sfruttando i risultati di [1], si prova che le derivate spaziali $D^{\alpha}u$ di ordine $|\alpha|$ con $|\alpha|<m-1$ delle soluzioni in $Q$ di un sistema parabolico quasilineare di ordine $2m$ con andamenti strettamente controllati, sono parzialmente hölderiane in $Q$ con esponente di hölderianità decrescente al crescere di $|\alpha|$ .

Subproducts defined by means of subdirect products

Frans Loonstra (1982)

Atti della Accademia Nazionale dei Lincei. Classe di Scienze Fisiche, Matematiche e Naturali. Rendiconti Lincei. Matematica e Applicazioni

Similarity:

Si supponga che l'anello $\bf{R}$ ammetta una decomposizione come prodotto subdiretto $\bf{R}=\underset{\widetilde{\alpha\in\Lambda}}{\times}\bf{R}_{\alpha}$ di anelli $\bf{R}_{\alpha}\neq 0$ , tali che per $\bf{S}_{\alpha}=\bf{R}\cap\bf{R}_{\alpha}$ si abbia $\operatorname{Ann}_{\bf{R}_{\alpha}}\bf{S}_{\alpha}=0$ ( $\forall\alpha\in A$ ), e sia $\bf{S}=\bigoplus_{\alpha\in A}\bf{S}_{\alpha}$ . Si scelga un $\bf{R}$ -modulo (destro) $\bf{M}$ che sia libero da torsione rispetto ad $\bf{S}$ , cioè $\operatorname{Ann}_{\bf{M}}\bf{S}=0$ ; allora $\bf{M}$ può essere rappresentato come prodotto subdiretto irridondante $\bf{M}\cong\underset{\widetilde{\alpha\in\Lambda}}{\times}\bf{M}_{\alpha}$ degli $\bf{R}_{\alpha}$ -moduli $\bf{M}_{\alpha}$ liberi da torsione rispetto ad $\bf{S}_{\alpha}$ . Si fa uno studio di un subprodotto generale di una classe $\mathbf{C}$ di $\bf{R}$ -moduli $\bf{M}^{(i)}$ $(i\in I)$ , dove $\mathbf{C}$ è determinato per mezzo di epimorfismi e relazioni. ...

A generalized exponential map for an affinely homogeneous cone

Umberto Sampieri (1983)

Atti della Accademia Nazionale dei Lincei. Classe di Scienze Fisiche, Matematiche e Naturali. Rendiconti

Similarity:

Dato un cono $V$ aperto non vuoto, convesso, regolare e affinemente omogeneo in uno spazio vettoriale reale $W$ di dimensione finita si prova che per ogni $v$ appartenente a $V$ esiste un diffeomorfismo $E_{v}:W\to V$ che soddisfa le condizioni seguenti E1) $E_{v}(0)=v$ ; E2) $\det(dE_{v}(y))=\Phi_{V}(E_{v}(y))^{-1}$ per ogni $y$ appartenente a $W$ ove $\Phi_{V}:V\to\mathbf{R}^{+}$ è la funzione caratteristica di $V$ .

A Note on Regular-closed Functions

Takashi Noiri (1981)

Atti della Accademia Nazionale dei Lincei. Classe di Scienze Fisiche, Matematiche e Naturali. Rendiconti Lincei. Matematica e Applicazioni

Similarity:

A classification for real and complex finite dimensional $\mathcal{F}^{*}$ -algebras

Mauro Meschiari (1983)

Atti della Accademia Nazionale dei Lincei. Classe di Scienze Fisiche, Matematiche e Naturali. Rendiconti

Similarity:

La presente Nota contiene una lista di $J^{\star}$ -algebre reali di dimensione finita ed una lista di $J^{\star}$ -algebre complesse di dimensione finita tali che: 1) due elementi distinti di ogni lista non sono mai $J^{\star}$ -isomorfi; 2) ogni $J^{\star}$ -algebra di dimensione finita reale (complessa) è $J^{\star}$ —isomorfa su $\mathbf{R}$ (su $\mathbf{C}$ ) alla somma diretta, finita, di $J^{\star}$ -algebre reali (complesse) elencate nella lista. In altre parole, diamo qui una classificazione completa delle $J^{\star}$ —algebre reali e delle $J^{\star}$ -algebre complesse di dimensione...

Closed extensions of R-modules in the case of a semi-artinian ring R

Frans Loonstra (1985)

Atti della Accademia Nazionale dei Lincei. Classe di Scienze Fisiche, Matematiche e Naturali. Rendiconti

Similarity:

Si considerano le estensioni chiuse $B$ di un $R$ -modulo $A$ mediante un $R$ -modulo $C$ nel caso in cui $R$ sia un anello semi-artiniano, cioè un anello $R$ con la proprietà che per ogni quoziente $(R/_{I})\neq 0$ sia soc $(R/I)\neq 0$ . Tali estensioni sono caratterizzate dal fatto che $A$ deve essere un sottomodulo semi-puro di $B$ .

Some chain rules for certain derivatives of double tensors depending on other such tensors and some point variables. I. On the pseudo-total derivative

Aldo Bressan (1986)

Atti della Accademia Nazionale dei Lincei. Classe di Scienze Fisiche, Matematiche e Naturali. Rendiconti

Similarity:

Si considerano due spazi $S_{\mu}$ e $S_{\nu}^{\ast}$ , Riemanniani e a metrica eventualmente indefinita, riferiti a sistemi di co-ordinate $\emptyset$ e $\emptyset_{\nu}^{\ast}$ ; e inoltre un doppio tensore $T^{\cdots}_{\cdots}$ associato ai punti $\emptyset^{-1}(x)\in S_{\mu}$ e $\emptyset^{\ast-1}(y)\in S^{\ast}$ . Si pensa $T^{\cdots}_{\cdots}$ dato da una funzione $\widetilde{T}^{\cdots}_{\cdots}$ di $m$ altri tali doppi tensori e di variabili puntuali $x(\in\Re^{\mu})$ , $t\in\Re$ e $y(\in\Re^{\nu})$ ; poi si considera la funzione composta $\widehat{T}^{\cdots}_{\cdots}(x,t,y)=\widetilde{T}^{\cdots}_{\cdots}\bigl{[}% \underbrace{\breve{H}^{\cdots}_{\cdots}(x,t,y),...,\breve{H}^{\cdots}_{\cdots}% (x,t,y)}_{1,\ldots,m},x,t,y\bigr{]}.$ Nella Parte I si scrivono due regole per eseguire la derivazione totale di questa, connessa con una mappa $\widehat{\mathcal{E}}$ $(=\widehat{\mathcal{E}}_{t})$ fra $S_{\nu}^{\ast}$ e $S_{\mu}$ ; una è a termini generalmente non covarianti...

Subproducts defined by means of subdirect products

Frans Loonstra (1982)

Atti della Accademia Nazionale dei Lincei. Classe di Scienze Fisiche, Matematiche e Naturali. Rendiconti

Similarity:

On non-Uniqueness of Complex Geodesies in Convex Bounded Domains

Graziano Gentili (1985)

Atti della Accademia Nazionale dei Lincei. Classe di Scienze Fisiche, Matematiche e Naturali. Rendiconti

Similarity:

Si studiano «combinazioni convesse complesse» per mappe olomorfe dal disco unità di $\mathbb{C}$ in un dominio convesso limitato $D$ di uno spazio di Banach complesso $E$ , e se ne traggono conseguenze sul carattere globale della non unicità per le geodetiche complesse di $D$ .

A generalized exponential map for an affinely homogeneous cone

Umberto Sampieri (1983)

Atti della Accademia Nazionale dei Lincei. Classe di Scienze Fisiche, Matematiche e Naturali. Rendiconti Lincei. Matematica e Applicazioni

Similarity:

Nonlinear $*$ -Lie higher derivations of standard operator algebras

Mohammad Ashraf, Shakir Ali, Bilal Ahmad Wani (2018)

Communications in Mathematics

Similarity:

Let $ℋ$ be an infinite-dimensional complex Hilbert space and $𝔄$ be a standard operator algebra on $ℋ$ which is closed under the adjoint operation. It is shown that every nonlinear $*$ -Lie higher derivation $𝒟 = {δ_{n}}_{n \in ℕ}$ of $𝔄$ is automatically an additive higher derivation on $𝔄$ . Moreover, $𝒟 = {δ_{n}}_{n \in ℕ}$ is an inner $*$ -higher derivation.

Results on linear and nonlinear hyperbolic boundary value problems at resonance

Michael W. Smiley (1980)

Atti della Accademia Nazionale dei Lincei. Classe di Scienze Fisiche, Matematiche e Naturali. Rendiconti

Similarity:

Si considera l’equazione non lineare nell'incognita $u(t,x)$ ((1,1) del testo) soddisfatta in un cilindro $G=(o,T)\times\Omega$ ( $\Omega$ dominio limitato di $\bf{R}^{n}$ ) con condizioni al contorno tipo Dirichlet o Neumann sulla superficie laterale di $G$ e con relazioni omogenee fra $u$ e $u_{t}$ sulle basi. Si stabiliscono per la (1) e nel caso di risonanza alcuni teoremi di perturbazione.

Multiplicative Lie triple derivations on standard operator algebras

Bilal Ahmad Wani (2021)

Communications in Mathematics

Similarity:

Let $𝒳$ be a Banach space of dimension $n > 1$ and $𝔄 \subset ℬ (𝒳)$ be a standard operator algebra. In the present paper it is shown that if a mapping $d : 𝔄 \to 𝔄$ (not necessarily linear) satisfies $d ([[U, V], W]) = [[d (U), V], W] + [[U, d (V)], W] + [[U, V], d (W)]$ for all $U, V, W \in 𝔄$ , then $d = ψ + τ$ , where $ψ$ is an additive derivation of $𝔄$ and $τ : 𝔄 \to 𝔽 I$ vanishes at second commutator $[[U, V], W]$ for all $U, V, W \in 𝔄$ . Moreover, if $d$ is linear and satisfies the above relation, then there exists an operator $S \in 𝔄$ and a linear mapping $τ$ from $𝔄$ into $𝔽 I$ satisfying $τ ([[U, V], W]) = 0$ for all $U, V, W \in 𝔄$ , such that $d (U) = S U - U S + τ (U)$ for all $U \in 𝔄$ .

On the adjoint system to a very ample divisor on a surface and connected inequalities

Antonio Lanteri, Marino Palleschi (1981)

Atti della Accademia Nazionale dei Lincei. Classe di Scienze Fisiche, Matematiche e Naturali. Rendiconti Lincei. Matematica e Applicazioni

Similarity:

Siano: $S$ una superficie algebrica proiettiva complessa non singolare, $K$ un divisore canonico ed $H$ un divisore molto ampio su $S$ . Questo lavoro ha per oggetto lo studio dell'indice di autointersezione $(K+H)^{2}$ . Si dimostra, innanzitutto, la disuguaglianza $(K+H)^{2}\geq 0$ , nell'ipotesi che la superficie $S^{\prime}$ ottenuta immergendo $S$ mediante il sistema lineare completo $|H|$ non sia uno scroll. Questa disuguaglianza è connessa con alcuni risultati di Sommese e Van de Ven sulla generazione del fascio $\mathcal{O}_{s}(K+H)$ . La dimostrazione...

$\Delta$ -tautologies, uniform and non-uniform upper bounds in computation theory

Daniele Mundici (1983)

Atti della Accademia Nazionale dei Lincei. Classe di Scienze Fisiche, Matematiche e Naturali. Rendiconti

Similarity:

Una $\Delta$ -tautologia è una tautologia del tipo $H\rightarrow K$ avente un solo interpolante di Craig $J$ , a meno di equivalenza logica. Utilizzando misure di complessità relative al problema di trovare tale $J$ , mostriamo come si possano ottenere limiti non uniformi di complessità mediante limiti uniformi, e viceversa.

Displaying similar documents to “ ℒ -homomorphisms of Lie algebras”

Displaying similar documents to “ $\mathcal{L}$ -homomorphisms of Lie algebras”