Displaying similar documents to “About some parameters of normed linear spaces”

About some parameters of normed linear spaces

Emanuele Casini (1986)

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

Similarity:

Si prendono in considerazione particolari costanti relative alla struttura della sfera unitaria di uno spazio di Banach. Se ne studiano alcune generali proprietà, con particolare riferimento alle relazioni con il modulo di convessità dello spazio. Se ne fornisce inoltre una esatta valutazione negli spazi l p .

Bond ionization energies: thiophosphoryl compounds

Marco V. Andreocci, Carla Cauletti, Claudio Furlani (1977)

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

Similarity:

Negli spettri fotoelettronici (p.e.) indotti da radiazione ultra-violetta di serie omologhe di composti, si trovano bande in ben definite regioni di energia, che possono essere assegnate empiricamente a ionizzazione di legami specifici o di coppie solitarie di elettroni. L’effetto dell'intorno chimico sulle energie di ionizzazione si esplica in piccoli spostamenti, che hanno una dipendenza approssimativamente lineare dall'ettronegatività di atomi o gruppi vicini. La discussione riguarda...

Generalizations of Banach's fixed point theorem

Tudor Zamfirescu (1972)

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

Similarity:

Questa Nota contiene alcune generalizzazioni del Teorema di Banach sul punto unito, generalizzazioni relative al caso che per ogni m punti si sappia soltanto che vengono contratte almeno k delle loro coppie, m e k essendo numeri fissi, con k < m ( m - 1 ) / 2 .

Craig's interpolation theorem, in computation theory

Daniele Mundici (1981)

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

Similarity:

Si espongono alcuni risultati, provati dall’Autore negli articoli citati nella bibliografia, a proposito della complessità del teorema d’interpolazione di Craig: con ciò si intende la relazione tra la lunghezza (cioè il numero di simboli) della formula χ e la lunghezza di φ e ψ , ove φ ψ è un’implicazione valida, e χ è un interpolante, come esibito dal teorema di interpolazione stesso. Si intende altresì sottolineare la rilevanza dello studio della complessità dell’interpolazione per far...

Craig's interpolation theorem, in computation theory

Daniele Mundici (1981)

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

Similarity:

Si espongono alcuni risultati, provati dall’Autore negli articoli citati nella bibliografia, a proposito della complessità del teorema d’interpolazione di Craig: con ciò si intende la relazione tra la lunghezza (cioè il numero di simboli) della formula χ e la lunghezza di φ e ψ , ove φ ψ è un’implicazione valida, e χ è un interpolante, come esibito dal teorema di interpolazione stesso. Si intende altresì sottolineare la rilevanza dello studio della complessità dell’interpolazione per far...

General operators binding variables in the interpreted modal calculus 𝒞 ν

Aldo Bressan, Alberto Zanardo (1981)

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

Similarity:

Si considera il calcolo modale interpretato 𝒞 ν , che è basato su un sistema di tipi con infiniti livelli, contiene descrizioni, ed è dotato di una semantica di tipo generale - v. [2], o [3], o [4], o [5]. In modo semplice e naturale si introducono in 𝒞 ν operatori vincolanti variabili, di tipo generale. Per teorie basate sul calcolo logico risultante 𝒞 ν vale un teorema di completezza, che si dimostra in modo immediato sulla base dell'estensione del teorema parziale di completezza stabilito...

On the Cauchy problem in linear viscoelasticity

Pasquale Renno (1983)

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

Similarity:

Con riferimento all’operatore integrodifferenziale della viscoelasticità lineare nella formulazione creep, si determina la soluzione fondamentale E in corrispondenza di un’arbitraria funzione di memoria. Di conseguenza viene risolto esplicitamente il problema di Cauchy relativo al moto unidimensionale di un sistema viscoelastico , omogeneo ed isotropo, determinato da dati iniziali e storia di stress comunque prefissati. Successivamente, nell’ambito di opportune ipotesi di memoria labile,...

On the canonical development of Parseval formulas for singular differential operators

Robert W. Carroll (1982)

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

Similarity:

Per funzioni opportune f , g si ottiene una formula di Parseval 𝐑 Q , 𝒬 f 𝒬 g λ = Δ Q - 1 / 2 f , Δ Q - 1 / 2 g per operatori differenziali singolari di tipo dell'operatore radiale di Laplace-Beltrami. 𝐑 Q è una funzione spettrale generalizzata di tipo Marčenko e può essere rappresentata per mezzo di un certo nucleo della trasmutazione.

Some Characterization of the q -Gamma Function by Functional Equations. Nota II

Marino Badiale (1983)

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

Similarity:

In questo lavoro, suddiviso in una Nota I e in una Nota II, si estendono alle funzioni q -gamma i classici risultati sulla determinazione univoca della funzione gamma tramite equazioni funzionali; si introduce poi una q -generalizzazione di una funzione fattoriale intera, e se ne indicano le principali proprietà.

Some Characterization of the q -Gamma Function by Functional Equations. Nota I

Marino Badiale (1983)

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

Similarity:

In questo lavoro, suddiviso in una Nota I e in una Nota II, si estendono alle funzioni q -gamma i classici risultati sulla determinazione univoca della funzione gamma tramite equazioni funzionali; si introduce poi una q -generalizzazione di una funzione fattoriale intera, e se ne indicano le principali proprietà.

Cylindrical real hyper surfaces in 𝐂 n

Claudio Rea (1981)

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

Similarity:

Si stabiliscono due condizioni sufficienti per un germe di ipersuperficie reale di classe c in 𝐂 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 .

General operators binding variables in the interpreted modal calculus 𝒞 ν

Aldo Bressan, Alberto Zanardo (1981)

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

Similarity:

Si considera il calcolo modale interpretato 𝒞 ν , che è basato su un sistema di tipi con infiniti livelli, contiene descrizioni, ed è dotato di una semantica di tipo generale - v. [2], o [3], o [4], o [5]. In modo semplice e naturale si introducono in 𝒞 ν operatori vincolanti variabili, di tipo generale. Per teorie basate sul calcolo logico risultante 𝒞 ν vale un teorema di completezza, che si dimostra in modo immediato sulla base dell'estensione del teorema parziale di completezza stabilito...

The bounce problem, on n-dimensional Riemannian manifolds

Giuseppe Buttazzo, Danilo Percivale (1981)

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

Similarity:

In questo lavoro vengono generalizzati i risultati relativi al problema del rimbalzo unidimensionale studiato in [5]. Precisamente si considera un punto mobile su una varietà Riemanniana V n -dimensionale, soggetto all’azione di un potenziale variabile nel tempo e vincolato a restare in una parte W di V avente un bordo di classe C 3 contro cui il punto «rimbalza». Lo studio del problema richiede l’uso di metodi di Γ -convergenza del tipo usato in [5], metodi che sembrano caratteristici...

Flocks, chains and configurations in finite geometries

Aiden A. Bruen, Joseph A. Thas (1975)

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

Similarity:

Lo studio dei sistemi di cerchi [o sezioni piane contenenti più di un punto] di un ovaloide [ O ( q 2 + 1 ) -calotta] di un S 3 , q ha utili applicazioni nella teoria dei piani di traslazione. Qui sistemi siffatti vengono investigati con particolare riguardo al caso in cui i piani dei loro cerchi escono da un punto non situato sull'ovaloide, assieme alla configurazione formata dai poli di tali piani rispetto all'ovaloide.

Cylindrical real hyper surfaces in 𝐂 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 in 𝐂 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 .

Real zeros of general L -functions

Alberto Perelli, Giuseppe Puglisi (1981)

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

Similarity:

In questo lavoro vengono studiati gli zeri reali di una classe di serie di Dirichlet, che generalizzano le funzioni L ( s , χ ) , definite in [8], Combinando le tecniche elementari di Pintz [9] con alcuni metodi analitici si ottiene l’estensione dei classici teoremi di Hecke e Siegel.

On the Cauchy problem in linear viscoelasticity

Pasquale Renno (1983)

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

Similarity:

Con riferimento all’operatore integrodifferenziale della viscoelasticità lineare nella formulazione creep, si determina la soluzione fondamentale E in corrispondenza di un’arbitraria funzione di memoria. Di conseguenza viene risolto esplicitamente il problema di Cauchy relativo al moto unidimensionale di un sistema viscoelastico , omogeneo ed isotropo, determinato da dati iniziali e storia di stress comunque prefissati. Successivamente, nell’ambito di opportune ipotesi di memoria labile,...

Some Characterization of the q -Gamma Function by Functional Equations. Nota I

Marino Badiale (1983)

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

Similarity:

In questo lavoro, suddiviso in una Nota I e in una Nota II, si estendono alle funzioni q -gamma i classici risultati sulla determinazione univoca della funzione gamma tramite equazioni funzionali; si introduce poi una q -generalizzazione di una funzione fattoriale intera, e se ne indicano le principali proprietà.

Some Characterization of the q -Gamma Function by Functional Equations. Nota II

Marino Badiale (1983)

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

Similarity:

In questo lavoro, suddiviso in una Nota I e in una Nota II, si estendono alle funzioni q -gamma i classici risultati sulla determinazione univoca della funzione gamma tramite equazioni funzionali; si introduce poi una q -generalizzazione di una funzione fattoriale intera, e se ne indicano le principali proprietà.

On the solutions of the inhomogeneous evolution equation in Banach spaces

Eugenio Sinestrari (1981)

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

Similarity:

Vengono dati nuovi teoremi di regolarità per le soluzioni dell'equazione u ( t ) = Λ u ( t ) + f ( t ) nel caso in cui Λ è il generatore infinitesimale di un semigruppo analitico in uno spazio di Banach E e f è una funzione continua.

The bounce problem, on n-dimensional Riemannian manifolds

Giuseppe Buttazzo, Danilo Percivale (1981)

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

Similarity:

In questo lavoro vengono generalizzati i risultati relativi al problema del rimbalzo unidimensionale studiato in [5]. Precisamente si considera un punto mobile su una varietà Riemanniana V n -dimensionale, soggetto all’azione di un potenziale variabile nel tempo e vincolato a restare in una parte W di V avente un bordo di classe C 3 contro cui il punto «rimbalza». Lo studio del problema richiede l’uso di metodi di Γ -convergenza del tipo usato in [5], metodi che sembrano caratteristici...

Consequences of compactness properties for abstract logics

Paolo Lipparini (1986)

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

Similarity:

Si determinano alcune restrizioni sulle possibili cardinalità dei modelli di teorie in logiche soddisfacenti alcune proprietà di compattezza. Si dà una caratterizzazione delle logiche [ λ , μ ] -compatte generate da quantificatori di cardinalità. Si stabilisce che il primo cardinale k tale che una logica è ( k , k ) -compatta è debolmente inaccessibile e soddisfa la proprietà dell'albero. Dai risultati enunciati appare un raffronto assai particolareggiato fra i due concetti di ( λ , μ ) -compattezza e [ λ , μ ] -compattezza. ...

The pair of matrix equations A X = B and A * Y + C X = D

Jerzy K. Baksalary (1982)

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

Similarity:

È stata trovata una condizione necessaria e sufficiente affinchè le due equazioni matriciali A X = B e A * Y + C X = D ammettano una soluzione comune. Di quest’ultima è poi stata data una rappresentazione generale, per il caso in cui la condizione trovata sia soddisfatta. È stato inoltre formulato un criterio per l’unicità della soluzione e, ove essa sia unica, ne è stata determinata la forma. Questi problemi erano stati in precedenza trattati da V. Valerio (1976), ma le conclusioni a cui egli è pervenuto...

Solutions in Gevrey spaces of partial differential equations with constant coefficients

Lamberto Cattabriga (1981)

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

Similarity:

Si dà una condizione sufficiente per la esistenza di una soluzione in uno spazio di Gevrey Γ d ( 𝐑 𝐧 ) , d razionale 1 , n 2 , di una equazione lineare a derivate parziali a coefficienti costanti P ( D ) u = f , quando f Γ d ( 𝐑 𝐧 ) . La dimostrazione completa dei risultati ottenuti è contenuta in una nota dell’autore in corso di pubblicazione su "Astérisque".

Bounded solutions on the Real line to non-autonomous Riccati Equations

Giuseppe Da Prato, Akira Ichikawa (1985)

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

Similarity:

Si dà un risultato di esistenza e unicità di una soluzione limitata in ] - , + [ per un'equazione di Riccati infinito-dimensionale.

On some viscoelastic models

Pasquale Renno (1983)

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

Similarity:

Sia n un sistema linearmente viscoelastico, omogeneo ed isotropo, caratterizzato dalla funzione di memoria g n ( t ) = k = 1 n B k exp ( - β k t ) , tipica di numerosi polimeri solidi. Si dimostra che la soluzione fondamentale E n dell’operatore integrodifferenziale che descrive i moti di n è, in ogni punto del suo supporto, maggiorata da quella relativa ad un opportuno solido standard 1 Di conseguenza, è possibile applicare all’analisi qualitativa dei moti di n alcuni risultati stabiliti in [10], quali proprietà asintotiche,...

Abstract semilinear equations in Banach spaces

Eugenio Sinestrari (1981)

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

Similarity:

Si studiano le proprietà delle soluzioni dell'equazione semilineare astratta u ( t ) = Λ u ( t ) + φ ( t , u ( t ) ) quando Λ è il generatore infinitesimale di un semigruppo analitico in uno spazio di Banach. Vengono provati nuovi teoremi di regolarità anche nel caso in cui φ non è continuo in tutto lo spazio.

Soluble Groups with Many Černikov Quotients

Silvana Franciosi, Francesco de Giovanni (1985)

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

Similarity:

Si studiano i gruppi risolubili non di Černikov a quozienti propri di Černikov. Nel caso periodico tali gruppi sono tutti e soli i prodotti semidiretti H N con N p -gruppo abeliano elementare infinito e H gruppo irriducibile di automorfismi di N che sia infinito e di Černikov. Nel caso non periodico invece si riconduce tale studio a quello dei moduli a quozienti propri artiniani su un gruppo risolubile finito, e si fornisce una caratterizzazione di tali moduli.

Boundary behaviour of invariant distances and complex geodesics

Marco Abate (1986)

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

Similarity:

In questa Nota viene studiato il comportamento al bordo delle distanze di Carathéodory e Kobayashi in domini fortemente pseudoconvessi di classe 𝐂 2 . Come applicazione si dimostra che ogni geodetica complessa in tali domini è estendibile al bordo di classe 𝐂 0 , 1 2 .

1 -Boolean spectrum, and stability

Piero Mangani, Annalisa Marcja (1982)

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

Similarity:

Si dimostra che la conoscenza delle algebre di Boole dei definibili di modelli di cardinità 1 di una teoria elementare è sufficiente per decidere il suo tipo di stabilità.

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...

Abstract semilinear equations in Banach spaces

Eugenio Sinestrari (1981)

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

Similarity:

Si studiano le proprietà delle soluzioni dell'equazione semilineare astratta u ( t ) = Λ u ( t ) + φ ( t , u ( t ) ) quando Λ è il generatore infinitesimale di un semigruppo analitico in uno spazio di Banach. Vengono provati nuovi teoremi di regolarità anche nel caso in cui φ non è continuo in tutto lo spazio.

A classification for real and complex finite dimensional * -algebras

Mauro Meschiari (1983)

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

Similarity:

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

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 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 .

On some viscoelastic models

Pasquale Renno (1983)

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

Similarity:

Sia n un sistema linearmente viscoelastico, omogeneo ed isotropo, caratterizzato dalla funzione di memoria g n ( t ) = k = 1 n B k exp ( - β k t ) , tipica di numerosi polimeri solidi. Si dimostra che la soluzione fondamentale E n dell’operatore integrodifferenziale che descrive i moti di n è, in ogni punto del suo supporto, maggiorata da quella relativa ad un opportuno solido standard 1 Di conseguenza, è possibile applicare all’analisi qualitativa dei moti di n alcuni risultati stabiliti in [10], quali proprietà asintotiche,...

The pair of matrix equations A X = B and A * Y + C X = D

Jerzy K. Baksalary (1982)

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

Similarity:

È stata trovata una condizione necessaria e sufficiente affinchè le due equazioni matriciali A X = B e A * Y + C X = D ammettano una soluzione comune. Di quest’ultima è poi stata data una rappresentazione generale, per il caso in cui la condizione trovata sia soddisfatta. È stato inoltre formulato un criterio per l’unicità della soluzione e, ove essa sia unica, ne è stata determinata la forma. Questi problemi erano stati in precedenza trattati da V. Valerio (1976), ma le conclusioni a cui egli è pervenuto...

A classification for real and complex finite dimensional * -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 -algebre reali di dimensione finita ed una lista di J -algebre complesse di dimensione finita tali che: 1) due elementi distinti di ogni lista non sono mai J -isomorfi; 2) ogni J -algebra di dimensione finita reale (complessa) è J —isomorfa su 𝐑 (su 𝐂 ) alla somma diretta, finita, di J -algebre reali (complesse) elencate nella lista. In altre parole, diamo qui una classificazione completa delle J —algebre reali e delle J -algebre complesse di dimensione...

Δ -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 Lincei. Matematica e Applicazioni

Similarity:

Una Δ -tautologia è una tautologia del tipo H 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.

Consequences of compactness properties for abstract logics

Paolo Lipparini (1986)

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

Similarity:

Si determinano alcune restrizioni sulle possibili cardinalità dei modelli di teorie in logiche soddisfacenti alcune proprietà di compattezza. Si dà una caratterizzazione delle logiche [ λ , μ ] -compatte generate da quantificatori di cardinalità. Si stabilisce che il primo cardinale k tale che una logica è ( k , k ) -compatta è debolmente inaccessibile e soddisfa la proprietà dell'albero. Dai risultati enunciati appare un raffronto assai particolareggiato fra i due concetti di ( λ , μ ) -compattezza e [ λ , μ ] -compattezza. ...