Carsten Butz

Publication Activity (10 Years)

Years Active: 1997-2014
Publications (10 Years): 0

Top Topics

Object Instances

Hierarchical Structure

Top Venues

Ann. Pure Appl. Log.

Publications

Steven Awodey, Carsten Butz, Alex Simpson, Thomas Streicher
Relating first-order set theories, toposes and categories of classes. Ann. Pure Appl. Log. 165 (2) (2014)
Steven Awodey, Carsten Butz, Alex Simpson, Thomas Streicher
Relating First-order Set Theories and Elementary Toposes. Bull. Symb. Log. 13 (3) (2007)
Carsten Butz
Saturated models of intuitionistic theories. Ann. Pure Appl. Log. 129 (1-3) (2004)
Hans-Wolfgang Loidl, Philip W. Trinder, Carsten Butz
Tuning Task Granularity and Data Locality of Data Parallel GPH Programs. Parallel Process. Lett. 11 (4) (2001)
Carsten Butz, Ulrich Kohlenbach, Søren Riis, Glynn Winskel
Preface. Ann. Pure Appl. Log. 104 (1-3) (2000)
Steven Awodey, Carsten Butz
Topological Completeness for Higher-Order Logic. J. Symb. Log. 65 (3) (2000)
Carsten Butz
A topological completeness theorem. Arch. Math. Log. 38 (2) (1999)
Carsten Butz, Ieke Moerdijk
An Elementary Definability Theorem for First Order Logic. J. Symb. Log. 64 (3) (1999)
Carsten Butz, Peter T. Johnstone
Classifying Toposes for First-Order Theories. Ann. Pure Appl. Log. 91 (1) (1998)
Carsten Butz
. Notre Dame J. Formal Log. 38 (3) (1997)