12 found
Order:
See also
Profile: Viggo Stoltenberg-Hansen (Uppsala Universitet)
  1.  17
    Computable and Continuous Partial Homomorphisms on Metric Partial Algebras.Viggo Stoltenberg-Hansen & John V. Tucker - 2003 - 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 (9 more)  
     
    Export citation  
     
    My bibliography   2 citations  
  2. Computable And Continuous Partial Homomorphisms On Metric Partial Algebras, By, Pages 299 -- 334.Viggo Stoltenberg-Hansen & John Tucker - 2003 - Bulletin of Symbolic Logic 9 (3):299-334.
    Direct download  
     
    Export citation  
     
    My bibliography   2 citations  
  3.  3
    Domain Interpretations of Martin-Löf’s Partial Type Theory.Erik Palmgren & Viggo Stoltenberg-Hansen - 1990 - Annals of Pure and Applied Logic 48 (2):135-196.
  4.  9
    2003 European Summer Meeting of the Association for Symbolic Logic Logic Colloquim '03, Helsinki, Finland, August 14-20, 2003'. [REVIEW]Viggo Stoltenberg-Hansen - 2004 - Bulletin of Symbolic Logic 10 (2):234-280.
  5.  1
    Finite Injury Arguments in Infinite Computation Theories.Viggo Stoltenberg-Hansen - 1979 - Annals of Mathematical Logic 16 (1):57-80.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  6.  13
    On Computational Complexity in Weakly Admissible Structures.Viggo Stoltenberg-Hansen - 1980 - Journal of Symbolic Logic 45 (2):353-358.
  7.  9
    A Logical Presentation of the Continuous Functionals.Erik Palmgren & Viggo Stoltenberg-Hansen - 1997 - Journal of Symbolic Logic 62 (3):1021-1034.
    Direct download (7 more)  
     
    Export citation  
     
    My bibliography  
  8.  5
    Hyperfinite Type Structures.Dag Normann, Erik Palmgren & Viggo Stoltenberg-Hansen - 1999 - Journal of Symbolic Logic 64 (3):1216-1242.
  9.  97
    Logicism, Intuitionism, and Formalism - What has Become of Them?Sten Lindström, Erik Palmgren, Krister Segerberg & Viggo Stoltenberg-Hansen (eds.) - 2009 - 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)  
     
    Export citation  
     
    My bibliography  
  10. Hyperfinite Type Structures.Dag Normann, Erik Palmgren & Viggo Stoltenberg-Hansen - 1999 - Journal of Symbolic Logic 64 (3):1216-1242.
    Direct download  
     
    Export citation  
     
    My bibliography  
  11. A Logical Presentation Of The Continuous Functionals.Erik Palmgren & Viggo Stoltenberg-Hansen - 1997 - Journal of Symbolic Logic 62 (3):1021-1034.
    Direct download  
     
    Export citation  
     
    My bibliography  
  12. 7th Scandinavian Logic Symposium.Viggo Stoltenberg-Hansen - 1997 - Bulletin of Symbolic Logic 3 (4):487-488.