Program of the rump session

  • 17:00-17:10, Angel Garrido, UNED, On Fuzzy Logic.
  • 17:10-17:20, Piedad Yuste, UNED, Indian Logic.
  • 17:20-17:30, Ali Enayat, University of Gothenburg, Lesser known gems from Mostowski.
  • 17:30-17:40, Erdoğan Şen, Istanbul Technical University, Asymptotic Formulas for Eigenvalues and Eigenfunctions of a Discontinuous Sturm–Liouville Type Problem with Retarded Argument.
  • 17:40-17:50, Victor Marek, University of Kentucky, Mostowski and Computer Science.
  • 17:50-18:00, Jan Dobrowolski, Uniwersytet Wrocławski, Small compact $G$-rings.
  • 18:00-18:10, Andrzej Salwicki, Cardinal Stefan Wyszyński University in Warsaw, Halting property of a version of Euclid's algorithm is independent from Peano's axioms of natural numbers.
  • 18:10-18:20, Kolya Umanets, Saint Petersburg State University, Model-theoretic analogue of Berkovich space.