Classifying toposes for first-order theories

C.H.E. Butz, P. Johnstone

Research output: Contribution to journal › Article › Academic › peer-review

Original language	Undefined/Unknown
Pages (from-to)	33-58
Number of pages	26
Journal	Annals of Pure and Applied Logic
Volume	91
Issue number	1
Publication status	Published - 1998

Keywords

@article{351cdcab1ce14ab48433d48dc4803ce2,

title = "Classifying toposes for first-order theories",

keywords = "Other mathematical specialities, Wiskunde en computerwetenschappen, Wiskunde: algemeen",

author = "C.H.E. Butz and P. Johnstone",

year = "1998",

language = "Undefined/Unknown",

volume = "91",

pages = "33--58",

journal = "Annals of Pure and Applied Logic",

issn = "0168-0072",

publisher = "Elsevier BV",

number = "1",

}