AN ABSTRACT ELEMENTARY CLASS NONAXIOMATIZABLE IN

DOI10.1017/JSL.2019.25MaRDI QIDQ5195067zbMATH OpenOpenAlexWikidataFDO

Authors Simon Henry

Publication date 17 September 2019

Published in Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1812.00652

zbMATH Keywords

abstract elementary classespoints of toposesScott topologytoposes

Mathematics Subject Classification ID

Abstract elementary classes and related topics (03C48) Categorical logic, topoi (03G30) Theories (e.g., algebraic theories), structure, and semantics (18C10) Accessible and locally presentable categories (18C35)

Abstract: 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 point of a topos, in particular is not the category of models of a $L_{(infty,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, not the category of models of a $L_{(infty,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 applies 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.

Recommendations

• Uncountable theories that are categorical in a higher power
• Upward Morley's theorem downward
• scientific article; zbMATH DE number 125233
• Uncountable dense categoricity in cats
• Cohesive Toposes and Cantor's 'lauter Einsen'
• Categoricity of theories in \(L_{\kappa \omega}\), with \(\kappa\) a compact cardinal
• On Comparability in a Topos
• Atomic toposes and countable categoricity
• scientific article; zbMATH DE number 3899134
• Model theory without choice? Categoricity

Cites work

• Abstract elementary classes and accessible categories
• Accessible Categories: The Foundations of Categorical Model Theory
• scientific article; zbMATH DE number 575948 (Why is no real title available?)
• scientific article; zbMATH DE number 2117177 (Why is no real title available?)
• scientific article; zbMATH DE number 822489 (Why is no real title available?)
• Sheaves in geometry and logic: a first introduction to topos theory

Cited in

(10)

• General facts on the Scott adjunction
• Towards higher topology
• On transferring model theoretic theorems of \(\mathcal L_{\infty,\omega}\) in the category of sets to a fixed Grothendieck topos
• Axiomatizing AECs and applications
• Upward Morley's theorem downward
• Non-axiomatizability of real spectra in \(\mathcal L_{ \infty \lambda} \)
• Infinitary generalizations of Deligne's completeness theorem
• Formal model theory and higher topology
• Atomic toposes and countable categoricity
• Every theory is eventually of presheaf type

This page was built for publication: AN ABSTRACT ELEMENTARY CLASS NONAXIOMATIZABLE IN

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5195067)