Mathematical Logic in Padua

Events

1WFTop 1997 - Program

• Thursday October 2, Aula Archivio Antico
  
  
  • 9.00
    P. Martin-Loef, Nonstandard type theory
    
    
  • 9.55
    A. Edalat, Exact real number computation using linear fractional transformations
    
    
  • 11.20
    S. Negri, Locally compact formal topologies
    
    
  • 11.50
    G. Curi, Dia-metrization of formal topology
    
    
  • 12.20
    J. Smith, Formal topologies on the set of first order formulae
    
    
  • 15.00
    S. Valentini, Do formal points form a set?
    
    
  • 15.55
    C. Mulvey, From constructivity to non-commutativity
    
    
  • 17.20
    M. Smyth, Finitary implication in formal topology: stably compact spaces
    
    
  • 18.15
    M. Kegelmann, A sequent calculus for coherent spaces

• Friday October 3, Aula I. Nievo
  
  
  • 9.00
    G. Sambin, The basic picture
    
    
  • 9.55
    M. Fourman, Tba
    
    
  • 11.20
    S. Gebellato, Continuity in the basic picture
    
    
  • 11.50 V. Capretta, Non-standard elements as formal points
    
    
  • 12.20
    P. Schuster, On constructive zeros of complex polynomials almost without choice
    
    
  • 15.00
    T. Coquand, Formal topology and proof theory
    
    
  • 15.55
    G. Wraith, A reminder and some queries about locales
    
    
  • 17.20
    Round table on: Constructive topology: which approach?

• Saturday October 4, Aula I. Nievo
  
  
  • 9.00
    P. Aczel, Constructive axiomatic set theory
    
    
  • 9.55
    D. Bridges, Reflections on constructive topology
    
    
  • 11.20
    M. Maietti, Some usual mathematical tools do not preserve constructivity
    
    
  • 11.50
    G. Rosolini, Some general constructions of models of the lambda-calculus
    
    
  • 12.20
    P. Taylor, An abstract Stone duality
    
    
  • 12.50
    J. von Plato, Positive Heyting algebras and formal topology