Page 1 Next

Displaying 1 – 20 of 1342

Showing per page

1 -Boolean spectrum, and stability

Piero Mangani, Annalisa Marcja (1982)

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

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

𝐋 -embedding, Amalgamation and 𝐋 -elementary equivalence

Daniele Mundici (1982)

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

Ogni logica L genera canonicamente la L -equivalenza L e la L -immersione 𝐿 proprio come la logica del primo ordine genera l’equivalenza elementare e l’immersione elementare . 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 ( A P + ). Caratterizziamo algebricamente quelle...

A characterization of Ext(G,ℤ) assuming (V = L)

Saharon Shelah, Lutz Strüngmann (2007)

Fundamenta Mathematicae

We complete the characterization of Ext(G,ℤ) for any torsion-free abelian group G assuming Gödel’s axiom of constructibility plus there is no weakly compact cardinal. In particular, we prove in (V = L) that, for a singular cardinal ν of uncountable cofinality which is less than the first weakly compact cardinal and for every sequence ( ν p : p Π ) of cardinals satisfying ν p 2 ν (where Π is the set of all primes), there is a torsion-free abelian group G of size ν such that ν p equals the p-rank of Ext(G,ℤ) for every...

A decomposition of a set definable in an o-minimal structure into perfectly situated sets

Wiesław Pawłucki (2002)

Annales Polonici Mathematici

A definable subset of a Euclidean space X is called perfectly situated if it can be represented in some linear system of coordinates as a finite union of (graphs of) definable 𝓒¹-maps with bounded derivatives. Two subsets of X are called simply separated if they satisfy the Łojasiewicz inequality with exponent 1. We show that every closed definable subset of X of dimension k can be decomposed into a finite family of closed definable subsets each of which is perfectly situated and such that any...

Currently displaying 1 – 20 of 1342

Page 1 Next