Carsten Butz

According to our database, Carsten Butz authored at least 10 papers between 1997 and 2014.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2014

Relating first-order set theories, toposes and categories of classes.

Steven Awodey, Carsten Butz, Alex Simpson, Thomas Streicher

Ann. Pure Appl. Log., 2014

2007

Relating First-order Set Theories and Elementary Toposes.

Steven Awodey, Carsten Butz, Alex Simpson, Thomas Streicher

Bull. Symb. Log., 2007

2004

Saturated models of intuitionistic theories.

Carsten Butz

Ann. Pure Appl. Log., 2004

2001

Tuning Task Granularity and Data Locality of Data Parallel GPH Programs.

Hans-Wolfgang Loidl, Philip W. Trinder, Carsten Butz

Parallel Process. Lett., 2001

2000

Topological Completeness for Higher-Order Logic.

Steven Awodey, Carsten Butz

J. Symb. Log., 2000

Preface.

Carsten Butz, Ulrich Kohlenbach, Søren Riis, Glynn Winskel

Ann. Pure Appl. Log., 2000

1999

An Elementary Definability Theorem for First Order Logic.

Carsten Butz, Ieke Moerdijk

J. Symb. Log., 1999

A topological completeness theorem.

Carsten Butz

Arch. Math. Log., 1999

1998

Classifying Toposes for First-Order Theories.

Carsten Butz, Peter T. Johnstone

Ann. Pure Appl. Log., 1998

1997

Syntax and Semantics of the Logic L^λ_ωω.

Carsten Butz

Notre Dame J. Formal Log., 1997