Searching for "Classifying Toposes for First-Order Theories." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

2 documents found, showing 1 through 2.

Classifying Toposes for First Order Theories
by Carsten Butz, Peter T. Johnstone — 1997 — Annals of Pure and Applied Logic
… our main theorem characterizing those first-order theories which admit classifying toposes. Finally…
Cited by 7 (3 self) – Add To MetaCart

BRICS Research Series, 1997
by Brics, David A. Schmidt, Abstract Interpretation, Operational Semantics, Olivier Danvy, Mayer Goldberg, Partial Evaluation Euclidian, Jesper G. Henriksen — 1999
… and Peter T. Johnstone. Classifying Toposes for First Order Theories. July 1997. 34 pp. Appears in Annals…
Add To MetaCart

Showing 1 through 2.

Try your query at: Scholar | Yahoo! | Ask | MS Live | CSB