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

PL EN


Preferencje help
Widoczny [Schowaj] Abstrakt
Liczba wyników
2007 | 194 | 1 | 67-88

Tytuł artykułu

On d-finiteness in continuous structures

Treść / Zawartość

Warianty tytułu

Języki publikacji

EN

Abstrakty

EN
We observe that certain classical results of first order model theory fail in the context of continuous first order logic. We argue that this happens since finite tuples in a continuous structure may behave as infinite tuples in classical model theory. The notion of a d-finite tuple attempts to capture some aspects of the classical finite tuple behaviour. We show that many classical results involving finite tuples are valid in continuous logic upon replacing "finite" with "d-finite". Other results, such as Vaught's no two models theorem and Lachlan's theorem on the number of countable models of a superstable theory are proved under the assumption of enough (uniformly) d-finite tuples.

Słowa kluczowe

Twórcy

  • Université de Lyon, Université Lyon 1, Institut Camille Jordan, CNRS, UMR 5208, 43 boulevard du 11 novembre 1918, 69622 Villeurbanne Cedex, France
  • Mathematics Department, UCLA, Box 951555OC, Los Angeles, CA 90095-1555, U.S.A.

Bibliografia

Typ dokumentu

Bibliografia

Identyfikatory

Identyfikator YADDA

bwmeta1.element.bwnjournal-article-doi-10_4064-fm194-1-4
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ć.