Wyniki wyszukiwania - Biblioteka Nauki

Nowa wersja platformy, zawierająca wyłącznie zasoby pełnotekstowe, jest już dostępna.
Przejdź na https://bibliotekanauki.pl

Ograniczanie wyników

1 Bulletin of the Polish Academy of Sciences. Mathematics

1 2019

Znaleziono wyników: 1

Liczba wyników na stronie

Wyniki wyszukiwania

Sortuj według:

Ogranicz wyniki do:

Structural logic and abstract elementary classes with intersections

100%

Boney W. , Vasey S.

2019

tom Vol. 67, no. 1

1--17

We give a syntactic characterization of abstract elementary classes (AECs) closed under intersections using a new logic with a quantifier for isomorphism types that we call structural logic: we prove that AECs with intersections correspond to classes of models of a universal theory in structural logic. This generalizes Tarski’s syntactic characterization of universal classes. As a corollary, we prove that any AEC closed under intersections with countable Löwenheim-Skolem-Tarski number is axiomatizable in L∞,ω(Q), where Q is the quantifier “there exist uncountably many”.