Classifying toposes for first-order theories

From MaRDI portal
Publication:1382183

DOI10.1016/S0168-0072(97)00042-0zbMath0893.03027OpenAlexW2088933768MaRDI QIDQ1382183

Carsten Butz, Peter T. Johnstone

Publication date: 1 July 1998

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/s0168-0072(97)00042-0




Related Items (10)



Cites Work


This page was built for publication: Classifying toposes for first-order theories