Dr Mateusz Łełyk from the University of Warsaw, alongside researchers from Poland and Austria, will carry out a research project under Weave-UNISONO. He will receive over 1.6 million zlotys for his research.
Dr Mateusz Łełyk with Dr techn. Dino Rossegger from the Vienna University of Technology as the principal investigator of the Austrian research team, will carry out the project “Structural complexity measures for foundational theories”. They will try to answer the question of when foundational theories can represent intended models and what it is caused by. They will also analyse the properties of “unintended” models and how they can be distinguished from the intended models. For this purpose, they will apply the Scott analysis which has been hardly used to analyse foundational theories. The researchers predict that an interesting “byproduct” can be delivered - new models of first-order logic, such as the simplest model property that will give intuitive and meaningful means for classifying foundational theories.
The proposal was evaluated by the Austrian Science Fund (FWF) and the evaluation results were approved by the National Science Centre under the Weave collaboration.
Weave-UNISONO and Lead Agency Procedure
Weave-UNISONO is a result of multilateral cooperation between the research-funding agencies associated in Science Europe and aims at simplifying the submission and selection procedures in all academic disciplines, involving researchers from two or three European countries.
The winning applicants are selected pursuant to the Lead Agency Procedure according to which one partner institution performs a complete merit-based evaluation of proposals, the results of which are subsequently approved by the other partners.
Under the Weave Programme, partner research teams apply for parallel funding to the Lead Agency and their respective institutions participating in the programme. Joint research projects must include a coherent research program with the added value of the international cooperation.
Weave-UNISONO is carried out on an ongoing basis. Research teams intending to cooperate with partners from Austria, Czechia, Slovenia, Switzerland, Germany, Luxembourg and Belgium-Flanders are urged to read the call text and apply for funding.