Switch to: References

Citations of:

The Dialectica Categories

Dissertation, University of Cambridge, Uk (1990)

Add citations

You must login to add citations.
  1. Dialectica categories, cardinalities of the continuum and combinatorics of ideals.Samuel G. da Silva & Valeria C. V. de Paiva - 2017 - Logic Journal of the IGPL 25 (4):585-603.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Advances in Natural Deduction: A Celebration of Dag Prawitz's Work.Luiz Carlos Pereira & Edward Hermann Haeusler (eds.) - 2012 - Dordrecht, Netherland: Springer.
    This collection of papers, celebrating the contributions of Swedish logician Dag Prawitz to Proof Theory, has been assembled from those presented at the Natural Deduction conference organized in Rio de Janeiro to honour his seminal research. Dag Prawitz’s work forms the basis of intuitionistic type theory and his inversion principle constitutes the foundation of most modern accounts of proof-theoretic semantics in Logic, Linguistics and Theoretical Computer Science. The range of contributions includes material on the extension of natural deduction with higher-order (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • The Axiom of Choice and the Partition Principle from Dialectica Categories.Samuel G. Da Silva - forthcoming - Logic Journal of the IGPL.
    The method of morphisms is a well-known application of Dialectica categories to set theory. In a previous work, Valeria de Paiva and the author have asked how much of the Axiom of Choice is needed in order to carry out the referred applications of such method. In this paper, we show that, when considered in their full generality, those applications of Dialectica categories give rise to equivalents of either the Axiom of Choice or Partition Principle —which is a consequence of (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Cartesian closed Dialectica categories.Bodil Biering - 2008 - Annals of Pure and Applied Logic 156 (2):290-307.
    When Gödel developed his functional interpretation, also known as the Dialectica interpretation, his aim was to prove consistency of first order arithmetic by reducing it to a quantifier-free theory with finite types. Like other functional interpretations Gödel’s Dialectica interpretation gives rise to category theoretic constructions that serve both as new models for logic and semantics and as tools for analysing and understanding various aspects of the Dialectica interpretation itself. Gödel’s Dialectica interpretation gives rise to the Dialectica categories , in: Contemp. (...)
    Download  
     
    Export citation  
     
    Bookmark