Pełnotekstowe zasoby PLDML oraz innych baz dziedzinowych są już dostępne w nowej Bibliotece Nauki.
Zapraszamy na https://bibliotekanauki.pl

Ograniczanie wyników

Preferencje help
Widoczny [Schowaj] Abstrakt
Liczba wyników

Znaleziono wyników: 3

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

A model-theoretic Baire category theorem for simple theories and its applications

100%
EN
We prove a model-theoretic Baire category theorem for $τ̃_{low}^f$-sets in a countable simple theory in which the extension property is first-order and show some of its applications. We also prove a trichotomy for minimal types in countable nfcp theories: either every type that is internal in a minimal type is essentially 1-based by means of the forking topologies, or T interprets an infinite definable 1-based group of finite D-rank or T interprets a strongly minimal formula.
2
Content available remote

On special partial types and weak canonical bases in simple theories

100%
EN
We define the notion of a weak canonical base for a partial type in a simple theory. We prove that members of a certain family of partial types, which we call special partial types, admit a weak canonical base; this family properly contains the family of amalgamation bases.
3
Content available remote

Rigid $ℵ_ε$ -saturated models of superstable theories

63%
EN
In a countable superstable NDOP theory, the existence of a rigid $ﬡ_ε$-saturated model implies the existence of $2^λ$ rigid $ﬡ_ε$-saturated models of power λ for every $λ > 2^{ﬡ_0}$.
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ć.