Formal model theory and higher topology

Cites work

scientific article; zbMATH DE number 575948 (Why is no real title available?)
scientific article; zbMATH DE number 692330 (Why is no real title available?)
scientific article; zbMATH DE number 1840601 (Why is no real title available?)
scientific article; zbMATH DE number 3287759 (Why is no real title available?)
scientific article; zbMATH DE number 3300467 (Why is no real title available?)
scientific article; zbMATH DE number 3319584 (Why is no real title available?)
AN ABSTRACT ELEMENTARY CLASS NONAXIOMATIZABLE IN
Abstract elementary classes and accessible categories
Accessible Categories: The Foundations of Categorical Model Theory
Accessible categories, saturation and categoricity
Aspects of topoi
Atomic toposes and countable categoricity
Category-theoretic aspects of abstract elementary classes
Classification theory for accessible categories
Codensity: Isbell duality, pro-objects, compactness and accessibility
Concrete categories and infinitary languages
Continuous categories and exponentiable toposes
Finitary sketches
First-order logical duality
General facts on the Scott adjunction
Internal sizes in \(\mu\)-abstract elementary classes
Ionads
Limits of abstract elementary classes
Model theory.
On geometric and finitary sketches
The categoricity spectrum of large abstract elementary classes
The category theoretic understanding of universal algebra: Lawvere theories and monads
Theories, sites, toposes. Relating and studying mathematical theories through topos-theoretic `bridges'
Towards higher topology
Universal abstract elementary classes and locally multipresentable categories
\(\mu\)-abstract elementary classes and other generalizations

This page was built for publication: Formal model theory and higher topology

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