AN ABSTRACT ELEMENTARY CLASS NONAXIOMATIZABLE IN L-infinity,L-kappa

Logo poskytovatele

Varování

Publikace nespadá pod Filozofickou fakultu, ale pod Přírodovědeckou fakultu. Oficiální stránka publikace je na webu muni.cz.
Autoři

HENRY Simon Bruno

Rok publikování 2019
Druh Článek v odborném periodiku
Časopis / Zdroj Journal of Symbolic Logic
Fakulta / Pracoviště MU

Přírodovědecká fakulta

Citace
www https://www.cambridge.org/core/journals/journal-of-symbolic-logic/article/an-abstract-elementary-class-nonaxiomatizable-in-linfty-kappa/87EC4FD7FED3B22F244271585EAD99B8
Doi http://dx.doi.org/10.1017/jsl.2019.25
Klíčová slova toposes; points of toposes; Scott topology; abstract elementary classes
Popis We show that for any uncountable cardinal lambda, the category of sets of cardinality at least lambda and monomorphisms between them cannot appear as the category of points of a topos, in particular is not the category of models of a L-infinity,L-omega-theory. More generally we show that for any regular cardinal kappa < lambda it is neither the category of kappa-points of a kappa-topos, in particular, nor the category of models of a L-infinity,L-kappa-theory. The proof relies on the construction of a categorified version of the Scott topology, which constitute a left adjoint to the functor sending any topos to its category of points and the computation of this left adjoint evaluated on the category of sets of cardinality at least lambda and monomorphisms between them. The same techniques also apply to a few other categories. At least to the category of vector spaces of with bounded below dimension and the category of algebraic closed fields of fixed characteristic with bounded below transcendence degree.
Související projekty:

Používáte starou verzi internetového prohlížeče. Doporučujeme aktualizovat Váš prohlížeč na nejnovější verzi.