12 found
Order:
  1. Logicism, Intuitionism, and Formalism - What has Become of Them?Sten Lindström, Erik Palmgren, Krister Segerberg & Viggo Stoltenberg-Hansen (eds.) - 2009 - Springer.
    The period in the foundations of mathematics that started in 1879 with the publication of Frege's Begriffsschrift and ended in 1931 with Gödel's Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I can reasonably be called the classical period. It saw the development of three major foundational programmes: the logicism of Frege, Russell and Whitehead, the intuitionism of Brouwer, and Hilbert's formalist and proof-theoretic programme. In this period, there were also lively exchanges between the various schools culminating in (...)
  2.  20
    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  
     
    Bookmark   2 citations  
  3.  3
    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  
     
    Bookmark   2 citations  
  4.  6
    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.
  5.  2
    Finite Injury Arguments in Infinite Computation Theories.Viggo Stoltenberg-Hansen - 1979 - Annals of Mathematical Logic 16 (1):57-80.
  6.  11
    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.
  7.  16
    On Computational Complexity in Weakly Admissible Structures.Viggo Stoltenberg-Hansen - 1980 - Journal of Symbolic Logic 45 (2):353-358.
  8.  4
    Hyperfinite Type Structures.Dag Normann, Erik Palmgren & Viggo Stoltenberg-Hansen - 1999 - Journal of Symbolic Logic 64 (3):1216-1242.
    Direct download  
     
    Export citation  
     
    Bookmark  
  9.  15
    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  
     
    Bookmark  
  10.  8
    Hyperfinite Type Structures.Dag Normann, Erik Palmgren & Viggo Stoltenberg-Hansen - 1999 - Journal of Symbolic Logic 64 (3):1216-1242.
  11.  1
    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  
     
    Bookmark  
  12.  1
    7th Scandinavian Logic Symposium.Viggo Stoltenberg-Hansen - 1997 - Bulletin of Symbolic Logic 3 (4):487-488.