Switch to: References

Citations of:

Questions and answers–a category arising in linear logic, complexity theory, and set theory

In Jean-Yves Girard, Yves Lafont & Laurent Regnier (eds.), Advances in linear logic. New York, NY, USA: Cambridge University Press. pp. 222--61 (1995)

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  
  • 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