Ammissibilità di connettivi in un calcolo generale

Riassunto Con riferimento ad alcuni lavori diR. Magari, si studiano condizioni necessarie e sufficienti per l'ammissibilità dei connettivi binari in un calcolo generale. In tal modo viene esaurita l'indagine sulle condizioni di ammissibilità di un qualunque connettivo finitario bivalutato.

---

Summary Referring to certain papers ofR. Magari, necessary and sufficient conditions for admissibility of certain binary connectives in a generalized logic calculus are studied. In this way the study on the conditions of admissibility on any finitary two-valued connective, is brought to a conclusion.

---

---

Lavoro eseguito nell'abito dell'attività dei Gruppi di Ricerca matematici del C.N.R. (contratto n. 115.182.05174) per l'anno 1969.     

OnE-compact modules over SISI rings

Summary We extend to the case of SISI rings, studied by Vamos in [8], the duality for noetherian rings studied by Orsatti in [7]. We prove that some properties of this duality can be generalized, while others hold only in the noetherian case.

---

Riassunto Si estende al caso dei SISI anelli, studiati da Vamos in [8], la dualità studiata da Orsatti in [7] per gli anelli noetheriani. Si dimostra che alcune proprietà di questa dualità si possono generalizzare, mentre altre sono caratteristiche del caso noetheriano.

---

---

Lavoro eseguito nell’ambito dell’attività dei gruppi di ricerca matematici del C.N.R.     

Sull’operatore di pseudo prodotto

Riassunto Si studia il concetto di classe di algebre associato ad un insieme di identità regolari nel senso diPlonka [3] mediante un operatore di ?Pseudo prodotto? che viene introdotto.

---

Summary We introduce an operator ?Pseudo prodotto? to study the concept of class of algebras associated to a set of regular equations (Pzonka [3]).

---

---

Lavoro eseguito nell'ambito dell'attività del Consiglio Nazionale per la Matematica del C.N.R. (Contratto n. 115218205174 anno 1970).     

Un'estensione del teorema di dualità di Poincaré

Riassunto In questo lavoro si generalizza la dualità di Poincaré a spazi topologici localmente omeomorfi con insiemi analitici realin-dimensionali con singolarità isolate; tali spazi non sono in generale orientabili, nè sono muniti di una struttura analitica globale. Rispetto ad un analogo risultato diL. Kaup ([6]), il nostro Teorema 2 si dimostra a prescindere dall'esistenza di normalizzazioni topologiche (nel senso di [6]).

---

Summary In this paper we generalize Poincaré duality to topological spaces locally homeomorphic with real analyticn-dimensional sets with isolated singularities; these spaces are in general neither orientable nor globally analytic. Compared with a similar result ofL. Kaup ([6]), our Theorem 2 is proved without supposing the existence of a topological normalization (in the sense of [6]).

---

---

Lavoro eseguito come borsista del C.N.R. nell'ambito del G.N.S.A.G.A.     

Questioni di algebra universale in una categoria astratta

Riassunto Allo scopo di studiare alcuni problemi di algebra universale in una categoriaK, si definiscono, relativamente ad un oggetto diK, alcuni concetti di solito riferiti ad un insieme, quali quello di relazione binaria (in particolare di equivalenza), composizione di corrispondenze, nucleo di un morfismo.

---

Summary In order to study some problems of Universal Algebra in a categoryK, some set theoretic concepts are generalized to objects ofK.

---

---

Lavoro eseguito nell'ambito dell'attività dei Gruppi di Ricerca Matematici del C.N.R. (programma n. 8), nell'anno 1969.     

Sullo spazio dei modelli di un calcolo generale

Sunto Si studiano e si confrontano condizioni di compattezza, di finitezza e di introducibilità dei connettivi in un linguaggio generale.

---

Résumé On examine dans un language général des conditions valables dans le cas classique.

---

---

Lavoro eseguito nell'ambito dell'attività dei gruppi di ricerca matematici del C.N.R. (gruppo n. 37, anno 1968–1969).     

Teoremi di immersione su iperpiani coordinati per funzioni di un certo spazio funzionale

Riassunto In questa nota si considera uno spazio funzionale L _p ^P (E ^n,, introdotto daL. Cattabriga e che rientra nella classe considerata daL. R. Volevic—B. P. Panejah; si ottengono in particolare alcuni teoremi di immersione per le ?restrizioni? a iperpiani coordinati delle funzioni di tale spazio.

---

Résumé En cette note l'on considére un espace fonctionnel, signé L _p ^P (E ^n,, qui a été introduit parM. L. Cattabriga et qui appartient à la classe considéré parM. M. L. R. Volevic—B. P. Panejah; en particulier l'on obtient quelques théorèmes d'immersion pour les ?restrictions? aux iperplans cohordonnés des foctions du dit espace.

---

---

Lavoro eseguito nell'ambito dell'attività dei gruppi di ricerca matematici del C.N.R.     

Intorno alle classi funzionali di Gevrey

Sunto Si espongono teoremi, esempi ed osservazioni a proposito di certe-classi funzionali, analoghe a quelle di Gevrey, che si presentano nella teoria delle equazioni differenziali ipoellittiche, di alcune equazioni integrodifferenziali, e dei problemi di Cauchy.

---

Summary This paper collect theorems, examples and observations concerning some classes of functions, at first considered by Gevrey, of interest in the theory of hypoelliptic differential equations, of some integrodifferential equations, and of Cauchy problems.

---

---

Questo lavoro ha avuto origine da una tesi di laurea diretta dal prof.Carlo Pucci nell'anno accademico 1961–1962, e fa parte delle attività del gruppo di ricerca matematica n. 23 del C. N. R.     

Alcune questioni intorno alle ultraestensioni di strutture relazionali

Riassunto Si introduce il concetto di ultrafiltro debolmente uniforme di un'algebra di Boole completa e si dà un teorema sulla cardinalità di una ultraestensione rispetto a un tale ultrafiltro. Si mettono in evidenza proprietà di ultrafiltri in particolari algebre di Boole.

---

Summary The notion of a “weakly uniform ultrafilter? of a complete Boolean Algebra is introduced and a theorem on the cardinality of an ultraextension with respect to such an ultrafilter is given. Some properties of ultrafilters of particular Boolean algebras are emphasized.

---

---

Lavaro eseguito nell'ambito dell'attività del Comitato per le Scienze Matematiche del C.N.R. per l'anno 1969 contratto n. 15218205174.     

Legge di Ott sulla trasformazione relativistica del calore

Sunto In questa Nota, partendo dalle equazioni relativistiche del moto della particella con massa di quiete variabile, come legge della accelerazione e come legge dell'impulso, accettate entrambe come valide, pur di interpretare correttamente i secondi membri, si ıuole dare un apporto alla validità della legge di trasformazione relativistica del calore di Ott e indicare i possibili motivi che hanno portato alcuni autori a ritenere invece valida quella di Planck.

---

Summary In this work, starting from the relativistic equations of motion of the variable rest mass particle, considering them as acceleration law and impulse law, since we consider them both valid, under condition we give a right interpretation of both right hand sides, we wish to give our contribution to the validity of Ott law on relativistic transformation of heat and to point out the eventual reasons that led some researches to sustain, on the contrary, the validity of Planck law.

---

---

A Dario Graffi nel suo 70^o compleanno

---

Entrata in Redazione il 30 giugno 1975.

---

Lavoro eseguito nell'ambito del Gruppo Nazionale per la Fisica-Matematica del C.N.R.

---

Istituto di Meccanica Razionale e Matematiche Applicate all'Ingegneria dell'Università di Catania.     

Algebre implicative

Sunto In questa nota si studiano certe algebre connesse con il calcolo implicativo classico e si dimostra per esse un teorema di rappresentazione.

---

Sommaire Dans cette note on étudie des algèbres jointes au calcul implicatif classique et on démontre pour elles un théorème de représentation.

---

---

Lavoro eseguito nell'ambito delle attività di ricerca del C.N.R. per l'anno 1967–1968.     

Alcuni risultati sui reticolim-algebrici

Riassunto Si studiano alcune proprietà dei reticolim-algebrici per applicarle ai reticoli di sotto-algebre e di congruenze di un'algebra di caratteristicam.

---

Summary In this paper some properties ofm-algebraic lattices are investigated. The aim is to apply such results to lattices of sub-algebras and congruences of an algebra with characteristicm.

---

---

Lavoro eseguito nell'ambito dell'attività del Comitato Nazionale per le Scienze Matematiche del C.N.R. (anno 1969–'70).     

Sulla rappresentazione gruppale dei piani metrici sui piani di inversione

Summary The purpose of this paper is to give a group representation of the metric planes over the real numbers (exactly the elliptic plane, the hyperbolic plane, the DeSitter plane, the euclidean plane and the Minkowski plane) on the elliptic and hyperbolic inversive planes by inversions and their transformations.

---

---

Dedicato al Prof. BeniaminoSegre per il 70^mo compleanno.

---

Lavoro eseguito nell'ambito del Gruppo Naz. per le Strutture Algebriche e Geometriche (sez. n. 4) del C.N.R. presso l'Istituto di Matematica Applicata della Facoltà di Ingegneria dell'Università di Roma.

---

Entrata in Redazione il 12 febbraio 1973.     

On mixed problem for parabolic variational inequalities

Summary We give an existence-uniqueness result for the parabolic variational inequality (1.3) and we apply this result to mixed problem for parabolic variational inequalities and to parabolic quasi-variational inequalities with constraints on the boundary.

---

Sunto. Si dà un risultato di esistenza ed unicità per la disequazione variazionale parabolica (1.3) e si applica tale risultato al problema misto per disequazioni variazionali paraboliche e a disequazioni quasi variazionali paraboliche con vincolo sulla frontiera.

---

---

Entrata in Redazione il 7 giugno 1976.

---

Politecnico di Milano, Istituto di Matematica (Analisi); lavoro eseguito nell'ambito del gruppo G.N.A.F.A. del C.N.R.     

Sur le problème de la correspondance par parallélisme entre les variétés réglées dansS n

Sunto In una serie di lavori anteriori propri l' A. ha studiato le ipersuperficie rigate dello S₄ e S₅ ed ha stabilito tra l'altro delle corrispondenze per parallelismo tra vari tipi di varietà rigate di tali spazi [9] – [14]. Il presente lavoro si riferisce alle varietà rigate dello S_n ed è suddiviso in due parti. Nella prima, si da una classificazione affine delle ipersuperficie rigate nello S_n, necessaria per lo studio del problema della corrispondenza per parallelismo, mentre nella seconda si determinano alcune corrispondenze per parallelismo tra le varietà rigate di questo spazio.

---

---

Hommage à Monsieur le ProfesseurEnrico Bompiani     

Questioni di algebra universale in una categoria astratta

Riassunto SiaK una categoria con prodotti finiti e siaA un oggetto diA. Un'operazione n-adica suA è un morfismoA ⁿ→A; unastruttura algebrica suA è una famiglia di operazioni suA edA con una tale struttura si dirà un'algebra in K. Con queste definizioni, è possibile studiare alcuni problemi di algebra universale riferiti alle algebre inK.

---

Summary LetK be a category with finite products and a null object and letAεOb K Ann-ary operation on A is any morphismA ⁿ→A and analgebra in K is an object together with a family of operations on it. We study some problems concerning algebras inK.

---

---

Lavoro eseguito nell'ambito dell'attività dei Gruppi di Ricerca Matematici del C.N.R., nell'anno 1969.

---

Nota diMario Servi a Parma—V.le La Grola, 29.—43100 Parma.     

Su alcuni sistemi di equazioni integrodifferenziali (*)

Sunto Si studiano alcune classi di sistemi di equazioni integrodifferenziali stabilendo condizioni sufficienti per l'esistenza di soluzioni in senso generalizzato, con dati al contorno sommabili, che estendono alcuni noti risultati relativi a certe classi di sistemi di equazioni alle derivate parziali. In particolare sono anche estesi alcuni noti risultati sull'esistenza di soluzioni per il problema diDarboux per una equazione del secondo ordine di tipo iperbolico.

---

Summary The existence of solutions of a certain type is shown for a class of integro-differential equations with L-integrable data. The results include the existence of generalized solutions of theDarboux problem for second order hyperbolic equations.

---

---

Lavoro eseguito nell'ambito dell'attività del Gruppo di ricerca n. 6 del Comitato per la Matematica del C. N. R. per l'anno accademico 1962–1963.     

Risultati di regolarità parziale per le soluzioni ℋ1,p1<p<2 di sistemi ellittici quasi lineari1<p<2 di sistemi ellittici quasi lineari

Riassunto Si estendono i risultati di regolarità di Morrey, Giusti e M. Miranda, relativi ai sistemi ellittici quasi lineari, ad una classe più generale di soluzioni, si dà inoltre un'applicazione dei risultati ottenuti allo studio di un problema del calcolo delle variazioni.

---

Résumé On donne une extension des résultats de régularité des solutions faibles des systèmes elliptiques non linéaires prouvés pár Morrey, Giusti, M. Miranda. On donne aussi une application de nos résultats à l'étude d'un problème du calcul des variations.

---

---

Lavoro eseguito nell'ambito dei gruppi di ricerca del C.N.R.     

Il principio di minima certezza e le sue prime applicazioni alla meccanica statistica

Sommario Si introduce il concetto di certezza di una variabile casuale. Si dimostra poi sulla base di questa nozione che è possibile dedurre da un principio di minimo la legge di distribuzione diMaxwell-Boltzmann per l’energia senza imporre con ciò alla distribuzione dei punti rappresentativi nello spazio delle fasi di essere di tipo boltzmanniano.

---

Résumé On a introduit la notion de certitude d’une variable aléatorie. On montre que sur la base de cette notion on peut déduire avec un principe de minimum la distribution deMaxwell-Boltzmann pour l’énergie sans que la distribution sur l’espace des phases soit du type deBoltzmann.

---

---

Lavoro eseguito per la realizzazione del programma di ricerca del Gruppo n. 7 del C.N.R.     

Sulla influenza dell'effetto Hall nella propagazione di onde magnetofluidodinamiche iu un fluido incomprimibile

Sunto Si esamina l'influenza dell'effetto Hall sulla propagazione ondosa it un fluido incomprimibile descritto dalle equazioni della magnetofluidodinamica nello schema del continuo. Nella parte I si studia dapprima la propagazione di onde piane di piccola ampiezza e poi quella delle onde di ampiezza finita. Nella parte II l'indagine é estesa alle onde cilindriche e nella parte III infine si discute la propagazione di onde piane e cilindriche nel caso in cui nello stato imperturbato il fluido non sia in quiete, bensì in moto uniforme. Nel lavoro si tiene conto delle azioni dissipative della viscosità e della conducibilità elettrica finita.

---

Summary In this paper we discuss wave propagation in an incompressible conducting fluid considered as a continuous medium taking account of the Hall effect. In Part I we first consider the propagation of plane waves of small amplitude and secondly waves of finite amplitude. In Part II the discussion is extended to cylindrical waves and in Part III the propagation of plane and cylindrical waves is examined when in the unperturbed state the fluid is not at rest, but in a state of uniform motion. The dissipative effects of viscosity and finite electrical conductivity are taken into account in the present paper.

---

---

A Bruno Finzi nel suo70mo compleanno.

---

Lavoro eseguito nell'ambito dell'attività dei Gruppi di Ricerca Matematica del C.N.R. (Anno 1969) presso l'Istituto di Matematiche Applicate ? U. Dini ? della Facoltà di Ingegneria dell'Università di Pisa.

---

Entrata in Redazione il 20 ottobre 1969.