Page 1

Displaying 1 – 12 of 12

Showing per page

Weak generic types and coverings of groups I

Ludomir Newelski, Marcin Petrykowski (2006)

Fundamenta Mathematicae

We introduce the notion of a weak generic type in a group. We improve our earlier results on countable coverings of groups and types.

Weakly maximal decidable structures

Alexis Bès, Patrick Cégielski (2008)

RAIRO - Theoretical Informatics and Applications

We prove that there exists a structure M whose monadic second order theory is decidable, and such that the first-order theory of every expansion of M by a constant is undecidable. 


When a first order T has limit models

Saharon Shelah (2012)

Colloquium Mathematicae

We sort out to a large extent when a (first order complete theory) T has a superlimit model in a cardinal λ. Also we deal with related notions of being limit.

When is the orbit algebra of a group an integral domain ? Proof of a conjecture of P.J. Cameron

Maurice Pouzet (2008)

RAIRO - Theoretical Informatics and Applications

Cameron introduced the orbit algebra of a permutation group and conjectured that this algebra is an integral domain if and only if the group has no finite orbit. We prove that this conjecture holds and in fact that the age algebra of a relational structure R is an integral domain if and only if R is age-inexhaustible. We deduce these results from a combinatorial lemma asserting that if a product of two non-zero elements of a set algebra is zero then there is a finite common tranversal of their...

Wildness in the product groups

G. Hjorth (2000)

Fundamenta Mathematicae

Non-abelian Polish groups arising as countable products of countable groups can be tame in arbitrarily complicated ways. This contrasts with some results of Solecki who revealed a very different picture in the abelian case.

Currently displaying 1 – 12 of 12

Page 1