Carsten Butz

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Relating first-order set theories, toposes and categories of classes Annals of Pure and Applied Logic	2013-12-10	Paper
Relating First-Order Set Theories and Elementary Toposes The Bulletin of Symbolic Logic	2008-10-23	Paper
Saturated models of intuitionistic theories Annals of Pure and Applied Logic	2004-11-22	Paper
Bernays-Gödel type theory Journal of Pure and Applied Algebra	2003-03-09	Paper
Topological completeness for higher-order logic Journal of Symbolic Logic	2002-01-21	Paper
scientific article; zbMATH DE number 1347320 (Why is no real title available?) Compositio Mathematica	2001-01-23	Paper
An elementary definability theorem for first order logic Journal of Symbolic Logic	2000-09-27	Paper
A topological completeness theorem Archive for Mathematical Logic	1999-11-15	Paper
Representing topoi by topological groupoids Journal of Pure and Applied Algebra	1999-11-10	Paper
Syntax and semantics of the logic \({\mathcal L}_{\omega\omega}^\lambda\) Notre Dame Journal of Formal Logic	1998-08-20	Paper
Représentation de topos par des espaces topologiques Comptes Rendus de l'Académie des Sciences - Series I - Mathematics	1998-08-16	Paper
Classifying toposes for first-order theories Annals of Pure and Applied Logic	1998-07-01	Paper
A definability theorem for first order logic (available as arXiv preprint)	N/A	Paper

Research outcomes over time

This page was built for person: Carsten Butz