Pełnotekstowe zasoby PLDML oraz innych baz dziedzinowych są już dostępne w nowej Bibliotece Nauki.
Zapraszamy na https://bibliotekanauki.pl
Preferencje help
Widoczny [Schowaj] Abstrakt
Liczba wyników

Znaleziono wyników: 8

Liczba wyników na stronie
first rewind previous Strona / 1 next fast forward last

Wyniki wyszukiwania

help Sortuj według:

help Ogranicz wyniki do:
first rewind previous Strona / 1 next fast forward last
1
Content available remote

m-normal theories

100%
EN
Originally, m-independence, ℳ -rank, m-stability and m-normality were defined only for small stable theories. Here we extend the definitions to an arbitrary small countable complete theory. Then we investigate these notions in the new, broader context. As a consequence we show that any superstable theory with $< 2^{ℵ₀}$ countable models is m-normal. In particular, any *-algebraic group interpretable in such a theory is abelian-by-finite.
2
Content available remote

ℳ-rank and meager groups

100%
EN
Assume p* is a meager type in a superstable theory T. We investigate definability properties of p*-closure. We prove that if T has $<2^{ℵ_0}$ countable models then the multiplicity rank ℳ of every type p is finite. We improve Saffe's conjecture.
3
Content available remote

ℳ-rank and meager types

100%
EN
Assume T is superstable and small. Using the multiplicity rank ℳ we find locally modular types in the same manner as U-rank considerations yield regular types. We define local versions of ℳ-rank, which also yield meager types.
4
Content available remote

An essay on model theory

100%
Open Mathematics
|
2003
|
tom 1
|
nr 3
398-410
EN
Some basic ideas of model theory are presented and a personal outlook on its perspectives is given.
5
Content available remote

The diameter of a Lascar strong type

100%
EN
We prove that a type-definable Lascar strong type has finite diameter. We also answer some other questions from [1] on Lascar strong types. We give some applications on subgroups of type-definable groups.
6
Content available remote

Weak generic types and coverings of groups I

64%
EN
We introduce the notion of a weak generic type in a group. We improve our earlier results on countable coverings of groups and types.
7
Content available remote

More on locally atomic models

32%
8
Content available remote

A proof of Saffe's conjecture

32%
first rewind previous Strona / 1 next fast forward last
JavaScript jest wyłączony w Twojej przeglądarce internetowej. Włącz go, a następnie odśwież stronę, aby móc w pełni z niej korzystać.