E-LIB Suche - Ergebnisse für: Carsten Butz

1

Relating First-Order Set Theories and Elementary Toposes:

Awodey, Steve ; Carsten Butz ; Alex Simpson.
The Bulletin of Symbolic Logic. 13 (2007) 3 - p. 340-358 , 2007

Link: https://www.jstor.org/st..

2

Relating first-order set theories, toposes and categories o..:

Awodey, Steve ; Butz, Carsten ; Simpson, Alex.
Annals of Pure and Applied Logic. 165 (2014) 2 - p. 428-502 , 2014

Link: https://doi.org/10.1016/..

3

Saturated models of intuitionistic theories:

Butz, Carsten
Annals of Pure and Applied Logic. 129 (2004) 1-3 - p. 245-275 , 2004

Link: https://doi.org/10.1016/..

4

Bernays–Gödel type theory:

Butz, Carsten
Journal of Pure and Applied Algebra. 178 (2003) 1 - p. 1-23 , 2003

Link: https://doi.org/10.1016/..

5

A topological completeness theorem:

Butz, Carsten
Archive for Mathematical Logic. 38 (1999) 2 - p. 79-101 , 1999

Link: https://doi.org/10.1007/..

6

Representing topoi by topological groupoids:

Butz, Carsten ; Moerdijk, Ieke
Journal of Pure and Applied Algebra. 130 (1998) 3 - p. 223-235 , 1998

Link: https://doi.org/10.1016/..

7

Classifying toposes for first-order theories:

Butz, Carsten ; Johnstone, Peter
Annals of Pure and Applied Logic. 91 (1998) 1 - p. 33-58 , 1998

Link: https://doi.org/10.1016/..

8

Représentation de topos par des espaces topologiques:

Butz, Carsten ; Moerdijk, Ieke
Comptes Rendus de l'Académie des Sciences - Series I - Mathematics. 325 (1997) 5 - p. 461-464 , 1997

Link: https://doi.org/10.1016/..

9

Logical and cohomological aspects of the space of points of..:

Butz, Carsten Horst Erich , 1996

Exemplar: Zentrale:Magazin ds 8501

10

Finitely Presented Heyting Algebras:

Butz, Carsten
https://tidsskrift.dk/brics/article/view/19436/17057. , 1998

Link: https://tidsskrift.dk/br..

11

A definability theorem for first order logic:

Butz, Carsten ; Moerdijk, Ieke
http://arxiv.org/abs/math/9706206. , 1997

Link: http://arxiv.org/abs/mat..

12

Syntax and Semantics of the logic L_omega omega^lambda:

Butz, Carsten
https://tidsskrift.dk/brics/article/view/18948/16587. , 1997

Link: https://tidsskrift.dk/br..

13

A Definability Theorem for First Order Logic:

Butz, Carsten ; Moerdijk, Ieke
https://tidsskrift.dk/brics/article/view/18782/16429. , 1997

Link: https://tidsskrift.dk/br..

14

Classifying Toposes for First Order Theories:

Butz, Carsten ; Johnstone, Peter T
https://tidsskrift.dk/brics/article/view/18946/16585. , 1997

Link: https://tidsskrift.dk/br..

15

Topological Completeness for Higher-Order Logic:

Awodey, Steve ; Butz, Carsten
http://arxiv.org/abs/math/9707206. , 1997

Link: http://arxiv.org/abs/mat..