12 found
Sort by:
Disambiguations:
Carsten Butz [7]C. Butz [4]Carston Butz [1]Clarence E. Butz [1]
  1. Steve Awodey, Carsten Butz & Alex Simpson (2007). Relating First-Order Set Theories and Elementary Toposes. Bulletin of Symbolic Logic 13 (3):340-358.
    We show how to interpret the language of first-order set theory in an elementary topos endowed with, as extra structure, a directed structural system of inclusions (dssi). As our main result, we obtain a complete axiomatization of the intuitionistic set theory validated by all such interpretations. Since every elementary topos is equivalent to one carrying a dssi, we thus obtain a first-order set theory whose associated categories of sets are exactly the elementary toposes. In addition, we show that the full (...)
    Direct download (8 more)  
     
    My bibliography  
     
    Export citation  
  2. Carsten Butz (2004). Saturated Models of Intuitionistic Theories. Annals of Pure and Applied Logic 129 (1-3):245-275.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  3. S. Awodey & C. Butz (2000). Topological Completeness for Higher-Order Logic. Journal of Symbolic Logic 65 (3):1168-1182.
    Using recent results in topos theory, two systems of higher-order logic are shown to be complete with respect to sheaf models over topological spaces- so -called "topological semantics." The first is classical higher-order logic, with relational quantification of finitely high type; the second system is a predicative fragment thereof with quantification over functions between types, but not over arbitrary relations. The second theorem applies to intuitionistic as well as classical logic.
    Direct download (12 more)  
     
    My bibliography  
     
    Export citation  
  4. C. Butz (2000). Preface. Annals of Pure and Applied Logic 104 (1-3):1-2.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  5. C. Butz & I. Moerdijk (1999). An Elementary Definability Theorem for First Order Logic. Journal of Symbolic Logic 64 (3):1028-1036.
  6. Carsten Butz (1999). A Topological Completeness Theorem. Archive for Mathematical Logic 38 (2):79-101.
    We prove a topological completeness theorem for infinitary geometric theories with respect to sheaf models. The theorem extends a classical result of Makkai and Reyes, stating that any topos with enough points has an open spatial cover. We show that one can achieve in addition that the cover is connected and locally connected.
    No categories
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  7. C. Butz, P. Johnstone, J. Gallier, J. D. Hamkins, B. Khoussaiuov, H. Lombardi & C. Raffalli (1998). Andrkka, H., Givant, S., Mikulb, S., Ntmeti, I. And Simon, A. Annals of Pure and Applied Logic 91:271.
    No categories
     
    My bibliography  
     
    Export citation  
  8. Carsten Butz & Peter Johnstone (1998). Classifying Toposes for First-Order Theories. Annals of Pure and Applied Logic 91 (1):33-58.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  9. Carsten Butz (1997). Syntax and Semantics of the Logic. Notre Dame Journal of Formal Logic 38 (3):374-384.
    In this paper we study the logic , which is first-order logic extended by quantification over functions (but not over relations). We give the syntax of the logic as well as the semantics in Heyting categories with exponentials. Embedding the generic model of a theory into a Grothendieck topos yields completeness of with respect to models in Grothendieck toposes, which can be sharpened to completeness with respect to Heyting-valued models. The logic is the strongest for which Heyting-valued completeness is known. (...)
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  10. Carsten Butz (1997). Syntax and Semantics of the Logic Llambdaomega Omega. Notre Dame Journal of Formal Logic 38 (3):374-384.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  11. Carsten Butz (1997). Syntax and Semantics of the Logic $\Mathcal{L}^\Lambda_{\Omega\Omega}$. Notre Dame Journal of Formal Logic 38 (3):374-384.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  12. Clarence E. Butz & Phillip V. Lewis (1996). Correlation of Gender-Related Values of Independence and Relationship and Leadership Orientation. Journal of Business Ethics 15 (11):1141 - 1149.
    This study compares the relationship between the moral reasoning modes and leadership orientation of males versus females, and managers versus engineers/scientists. A questionnaire developed by Worthley (1987) was used to measure the degree of each participant's respective independence and justice, and relationships and caring moral reasoning modes. Leadership orientation values and attitudes were measured using the Fiedler and Chemers (1984) Least Preferred Coworker Scale.The results suggest that, although males differ from female in their dominant moral reasoning modes, managers are not (...)
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation