Atomic toposes and countable categoricity
From MaRDI portal
Publication:695312
DOI10.1007/s10485-010-9244-xzbMath1277.03071arXiv0811.3547MaRDI QIDQ695312
Publication date: 21 December 2012
Published in: Applied Categorical Structures (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/0811.3547
03G30: Categorical logic, topoi
18B25: Topoi
18C10: Theories (e.g., algebraic theories), structure, and semantics
03C35: Categoricity and completeness of theories
Cites Work