Formal model theory and higher topology

DOI10.1002/MALQ.202300006MaRDI QIDQ6561655FDOQ6561655

Authors: Ivan Di Liberti 

Publication date: 25 June 2024

Published in: Mathematical Logic Quarterly (MLQ) (Search for Journal in Brave)

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Cites Work

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

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)