6 found
Order:
  1.  4
    Logical Problems of Functional Interpretations.Justus Diller - 2002 - 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)  
     
    Export citation  
     
    My bibliography   2 citations  
  2.  16
    Nicht-persistenz der parallelität in affinen ebenen.Justus Diller - 1969 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 15 (26-29):431-433.
    No categories
    Translate
      Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  3.  9
    Functional Interpretations of Constructive Set Theory in All Finite Types.Justus Diller - 2008 - 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)  
     
    Export citation  
     
    My bibliography   1 citation  
  4.  2
    Nicht‐persistenz der parallelität in affinen ebenen.Justus Diller - 1969 - Mathematical Logic Quarterly 15 (26‐29):431-433.
    Translate
      Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  5. Journal of Soviet Mathematics.G. E. Mints, U. V. Matiasevic, A. O. Slisenko, Justus Diller & Martin Stein - 1987 - Journal of Symbolic Logic 52 (2):561-561.
    Direct download  
     
    Export citation  
     
    My bibliography  
  6. 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.K. Schütte, Justus Diller & G. H. Müller (eds.) - 1975 - Springer Verlag.
     
    Export citation  
     
    My bibliography