EuDML | Browse

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

Items

All a b c d e f g h i j k l m n o p q r s t u v w x y z Other

Page 1 Next

Displaying 1 – 20 of 1185

$ℵ_{0}$ -categoricity of products of 1-unary algebras

Philip Olin (1975)

Colloquium Mathematicae

$\aleph_{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à $\aleph_{1}$ di una teoria elementare è sufficiente per decidere il suo tipo di stabilità.

$ℵ_{1}$ -категоричные коммутативные кольца

С.А. Чихачев (1977)

Sibirskij matematiceskij zurnal

...-... Algebras.

Aldo V. Figallo (1983)

Revista colombiana de matematicas

$\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

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

$(*)$ -groups and pseudo-bad groups.

Corredor, Luis Jaime (2003)

Revista Colombiana de Matemáticas

$ℵ_{k}$ -free separable groups with prescribed endomorphism ring

Daniel Herden, Héctor Gabriel Salazar Pedroza (2015)

Fundamenta Mathematicae

We will consider unital rings A with free additive group, and want to construct (in ZFC) for each natural number k a family of $ℵ_{k}$ -free A-modules G which are separable as abelian groups with special decompositions. Recall that an A-module G is $ℵ_{k}$ -free if every subset of size $< ℵ_{k}$ is contained in a free submodule (we will refine this in Definition 3.2); and it is separable as an abelian group if any finite subset of G is contained in a free direct summand of G. Despite the fact that such a module G is...

$(L, M)$ -fuzzy $σ$ -algebras.

Shi, Fu-Gui (2010)

International Journal of Mathematics and Mathematical Sciences

$\nabla$ -model and distributivity in Boolean algebras

Lev Bukovský (1968)

Commentationes Mathematicae Universitatis Carolinae

$\forall_{n}$ -theories of Boolean algebras

Jan Waszkiewicz (1974)

Colloquium Mathematicae

$ℒ_{p}$ -Spaces and injective locally convex spaces [Book]

Paweł Domański (1990)

$𝒦$ -purity and orthogonality.

Hébert, Michel (2004)

Theory and Applications of Categories [electronic only]

$\in$ -representation and set-prolongations

Josef Mlček (1992)

Commentationes Mathematicae Universitatis Carolinae

By an $\in$ -representation of a relation we mean its isomorphic embedding to $𝔼 = {〈 x, y 〉; x \in y}$ . Some theorems on such a representation are presented. Especially, we prove a version of the well-known theorem on isomorphic representation of extensional and well-founded relations in $𝔼$ , which holds in Zermelo-Fraenkel set theory. This our version is in Zermelo-Fraenkel set theory false. A general theorem on a set-prolongation is proved; it enables us to solve the task of the representation in question.

We prove that MAX-3SAT can be approximated in polynomial time within a factor 1.0957 on random instances.

Currently displaying 1 – 20 of 1185

Page 1 Next

Displaying 1 – 20 of 1185

$ℵ_{0}$ -categoricity of products of 1-unary algebras

$\aleph_{1}$ -Boolean spectrum, and stability

$ℵ_{1}$ -категоричные коммутативные кольца

...-... Algebras.

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

$(*)$ -groups and pseudo-bad groups.

$ℵ_{k}$ -free separable groups with prescribed endomorphism ring

$(L, M)$ -fuzzy $σ$ -algebras.

$\nabla$ -model and distributivity in Boolean algebras

$\forall_{n}$ -theories of Boolean algebras

$ℒ_{p}$ -Spaces and injective locally convex spaces [Book]

$𝒦$ -purity and orthogonality.

$\in$ -representation and set-prolongations

$\exists$ -свободные группы.

0 пceвдoдиффepeцируйemoctи пceвдоравномерно нeпpepывных кoнструктивных функций пo функцияm тoгo жe типa

[0,1]-Valued Logic: A Natural Generalization of Boolean Logic

1.0957-Approximation Algorithm for Random MAX-3SAT

1981-- the bicentenary of Bernard Bolzano

9th Asian Logic Conference, Novosibirsk, Russia, 16--19 August 2005.

"Abstract logics" and "Classical abstract logics" [Book]

Currently displaying 1 – 20 of 1185

Displaying 1 – 20 of 1185

ℒ p -Spaces and injective locally convex spaces [Book]

"Abstract logics" and "Classical abstract logics" [Book]

Currently displaying 1 – 20 of 1185

$ℒ_{p}$ -Spaces and injective locally convex spaces [Book]