1Department of Mathematics Harvard University Cambridge, MA 02138, U.S.A. <a href="http://math.harvard.edu/~wboney/">http://math.harvard.edu/~wboney/</a> 2Department of Mathematics Harvard University Cambridge, MA 02138, U.S.A. <a href="http://math.harvard.edu/~sebv/">http://math.harvard.edu/~sebv/</a>
Bulletin of the Polish Academy of Sciences. Mathematics, Tome 67 (2019) no. 1, pp. 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 $\mathbb {L}_{\infty , \omega } (Q)$, where $Q$ is the quantifier “there exist uncountably many”.
Keywords:
syntactic characterization abstract elementary classes aecs closed under intersections using logic quantifier isomorphism types call structural logic prove aecs intersections correspond classes models universal theory structural logic generalizes tarski syntactic characterization universal classes corollary prove aec closed under intersections countable wenheim skolem tarski number axiomatizable mathbb infty omega where quantifier there exist uncountably many
Affiliations des auteurs :
Will Boney
1
;
Sebastien Vasey
2
1
Department of Mathematics Harvard University Cambridge, MA 02138, U.S.A. <a href="http://math.harvard.edu/~wboney/">http://math.harvard.edu/~wboney/</a>
2
Department of Mathematics Harvard University Cambridge, MA 02138, U.S.A. <a href="http://math.harvard.edu/~sebv/">http://math.harvard.edu/~sebv/</a>
@article{10_4064_ba8178_12_2018,
author = {Will Boney and Sebastien Vasey},
title = {Structural logic and abstract elementary classes with intersections},
journal = {Bulletin of the Polish Academy of Sciences. Mathematics},
pages = {1--17},
year = {2019},
volume = {67},
number = {1},
doi = {10.4064/ba8178-12-2018},
language = {en},
url = {http://geodesic.mathdoc.fr/articles/10.4064/ba8178-12-2018/}
}
TY - JOUR
AU - Will Boney
AU - Sebastien Vasey
TI - Structural logic and abstract elementary classes with intersections
JO - Bulletin of the Polish Academy of Sciences. Mathematics
PY - 2019
SP - 1
EP - 17
VL - 67
IS - 1
UR - http://geodesic.mathdoc.fr/articles/10.4064/ba8178-12-2018/
DO - 10.4064/ba8178-12-2018
LA - en
ID - 10_4064_ba8178_12_2018
ER -
%0 Journal Article
%A Will Boney
%A Sebastien Vasey
%T Structural logic and abstract elementary classes with intersections
%J Bulletin of the Polish Academy of Sciences. Mathematics
%D 2019
%P 1-17
%V 67
%N 1
%U http://geodesic.mathdoc.fr/articles/10.4064/ba8178-12-2018/
%R 10.4064/ba8178-12-2018
%G en
%F 10_4064_ba8178_12_2018
Will Boney; Sebastien Vasey. Structural logic and abstract elementary classes with intersections. Bulletin of the Polish Academy of Sciences. Mathematics, Tome 67 (2019) no. 1, pp. 1-17. doi: 10.4064/ba8178-12-2018
