A Lindström characterization of the intuitionistic topology on partial orders

  • Guillermo Badia Hernandez (Speaker)

Activity: Talk or presentation › Invited talk › science-to-science

Period21 Feb 2017
Event titleSeminar on Universal Algebra
Event typeOther
LocationCzech RepublicShow on map

Fields of science

  • 101013 Mathematical logic
  • 101024 Probability theory
  • 202027 Mechatronics
  • 102019 Machine learning
  • 603109 Logic
  • 101 Mathematics
  • 102001 Artificial intelligence
  • 102003 Image processing

JKU Focus areas

  • Computation in Informatics and Mathematics
  • Nano-, Bio- and Polymer-Systems: From Structure to Function
  • Mechatronics and Information Processing