9 found
Sort by:
See also:
Profile: Viggo Stoltenberg-Hansen (Uppsala Universitet)
  1. Sten Lindström, Erik Palmgren, Krister Segerberg & Viggo Stoltenberg-Hansen (eds.) (2009). Logicism, Intuitionism, and Formalism - What has Become of Them? Springer.
    These questions are addressed in this volume by leading mathematical logicians and philosophers of mathematics.A special section is concerned with constructive ...
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  2. Viggo Stoltenberg-Hansen (2004). 2003 European Summer Meeting of the Association for Symbolic Logic Logic Colloquim '03, Helsinki, Finland, August 14-20, 2003. [REVIEW] Bulletin of Symbolic Logic 10 (2):234-280.
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  3. Viggo Stoltenberg-Hansen & John V. Tucker (2003). Computable and Continuous Partial Homomorphisms on Metric Partial Algebras. Bulletin of Symbolic Logic 9 (3):299-334.
    We analyse the connection between the computability and continuity of functions in the case of homomorphisms between topological algebraic structures. Inspired by the Pour-El and Richards equivalence theorem between computability and boundedness for closed linear operators on Banach spaces, we study the rather general situation of partial homomorphisms between metric partial universal algebras. First, we develop a set of basic notions and results that reveal some of the delicate algebraic, topological and effective properties of partial algebras. Our main computability concepts (...)
    Direct download (8 more)  
     
    My bibliography  
     
    Export citation  
  4. Dag Normann, Erik Palmgren & Viggo Stoltenberg-Hansen (1999). Hyperfinite Type Structures. Journal of Symbolic Logic 64 (3):1216-1242.
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  5. Erik Palmgren & Viggo Stoltenberg-Hansen (1997). A Logical Presentation of the Continuous Functionals. Journal of Symbolic Logic 62 (3):1021-1034.
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  6. Viggo Stoltenberg-Hansen (1997). 7th Scandinavian Logic Symposium. Bulletin of Symbolic Logic 3 (4):487-488.
    Direct download  
     
    My bibliography  
     
    Export citation  
  7. Erik Palmgren & Viggo Stoltenberg-Hansen (1990). Domain Interpretations of Martin-Löf's Partial Type Theory. Annals of Pure and Applied Logic 48 (2):135-196.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  8. Viggo Stoltenberg-Hansen (1980). On Computational Complexity in Weakly Admissible Structures. Journal of Symbolic Logic 45 (2):353-358.
  9. Viggo Stoltenberg-Hansen (1979). Finite Injury Arguments in Infinite Computation Theories. Annals of Mathematical Logic 16 (1):57-80.
    No categories
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation