Projects funded by the NCN
Axiomatizations of varieties and quasivarieties
2011/01/D/ST1/06136
Keywords:
Varieties quasivarieties topological quasivarieties deductive systems finite axiomatizations infinite axiomatizations first order axiomatizations.
Descriptors:
- ST1_2: Algebra
- ST1_1: Logic and foundations
Panel:
ST1 - Mathematics: all areas of mathematics, pure and applied, as well as mathematical foundations of computer science, physics and statistics
Host institution :
Politechnika Warszawska, Wydział Matematyki i Nauk Informacyjnych
woj. mazowieckie
Principal investigator (from the host institution):
Number of co-investigators in the project: 1
Call: SONATA 1 - announced on 2011-03-15
Amount awarded: 276 000 PLN
Project start date (Y-m-d): 2011-12-01
Project end date (Y-m-d): 2017-11-30
Project duration:: 72 months (the same as in the proposal)
Project status: Project settled