5 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.
    Gödel interpreted Heyting arithmetic HA in a “logic-free” fragment T 0 of his theory T of primitive recursive functionals of finite types by his famous Dialectica-translation D . This works because the logic of HA is extremely simple. If the logic of the interpreted system is different—in particular more complicated—, it forces us to look for different and more complicated functional translations. We discuss the arising logical problems for arithmetical and set theoretical systems from HA to CZF . We want (...)
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  3. G. E. Mints, U. V. Matiasevic, A. O. Slisenko, Justus Diller & Martin Stein (1987). Journal of Soviet Mathematics. Journal of Symbolic Logic 52 (2):561-561.
    Direct download  
     
    My bibliography  
     
    Export citation  
  4. 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  
  5. Justus Diller (1969). Nicht‐persistenz der parallelität in affinen ebenen. Mathematical Logic Quarterly 15 (26‐29):431-433.
    Translate to English
    | Direct download (3 more)  
     
    My bibliography  
     
    Export citation