4 found
Sort by:
  1. Justus Diller (2008). Functional Interpretations of Constructive Set Theory in All Finite Types. Dialectica 62 (2):149–177.
    Gödel's dialectica interpretation of Heyting arithmetic HA may be seen as expressing a lack of confidence in our understanding of unbounded quantification. Instead of formally proving an implication with an existential consequent or with a universal antecedent, the dialectica interpretation asks, under suitable conditions, for explicit 'interpreting' instances that make the implication valid. For proofs in constructive set theory CZF-, it may not always be possible to find just one such instance, but it must suffice to explicitly name a set (...)
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  2. Justus Diller (2002). Logical Problems of Functional Interpretations. Annals of Pure and Applied Logic 114 (1-3):27-42.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  3. K. Schütte, Justus Diller & G. H. Müller (eds.) (1975). Isilc Proof Theory Symposion: Dedicated to Kurt Schütte on the Occasion of His 65th Birthday: Proceedings of the International Summer Institute and Logic Colloquium, Kiel, 1974. Springer-Verlag.
     
    My bibliography  
     
    Export citation  
  4. Justus Diller (1969). Nicht‐persistenz der parallelität in affinen ebenen. Mathematical Logic Quarterly 15 (26‐29):431-433.
    No categories
    Translate to English
    | Direct download (3 more)  
     
    My bibliography  
     
    Export citation