Mathematical Logic and Category Theory

Description

Teoria modeli i jej związki z klasyczną matematyką. Aksjomatyczne teorie arytmetyki i ich modele, matematyka odwrotna. Logika kategoryjna i logiki nieklasyczne. Zastosowania logiki w informatyce i w sztucznej inteligencji. Teoria kategorii i jej zastosowania. Model theory and its connections with classical mathematics. Axiomatic theories of arithmetic and their models, reverse mathematics. Categorical logic and nonclassical logics. Applications of logic in computer science and artifficial intelligence. Category theory and its applications.

Seminars

• Seminar Mathematical Logic
• Seminar Category Theory
• Research Seminar of the Logic Group: Approximate reasoning in data mining

Employees and PhD students

• dr Daniel Hoffmann

  Mathematical logic: model theory, neostability, group theory and Galois theory, difference and differential algebra

• dr hab. Leszek Kołodziejczyk

  Mathematical logic: nonstandard models of arithmetic, reverse mathematics, proof theory, proof complexity

• dr hab. Maciej Malicki

  Applications of logic to descriptive set theory and topology, Fraïssé theory

• prof. dr hab. Andrzej Szałas

  Nonclassical logic, higher order logic, quantifier elimination, applications of logic in artificial intelligence

• prof. dr hab. Andrzej Tarlecki

  Logic, institution theory, category theory in the foundations of computer science

• prof. dr hab. Paweł Urzyczyn