Carsten Butz: Research

My research focuses on the relationship and interaction between logic and category theory.

• BVTM.pdf, Boolean-valued Term Models;
• heyting.ps.gz, Finitely presented Heyting algebras;
• butz-SatMod.ps.gz Saturated models of intuitionistic theories (final version);