Projects funded by the NCN

Information on the principal investigator and host institution

Information of the project and the call

Keywords

Equipment

Delete all

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

Other projects carried out by the institution 

Principal investigator (from the host institution):

dr Michał Stronkowski 

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

Equipment purchased [PL]

  1. Komputer przenośny (3 000 PLN)

Information in the final report

  • Publication in academic press/journals (8)
  • Articles in post-conference publications (3)
  1. Defining subdirect product closed classes in infinitary logic
    Authors:
    Michał M. Stronkowski
    Academic press:
    Algebra Universalis (rok: 2013, tom: 69, strony: 231-235), Wydawca: Springer
    Status:
    Published
    DOI:
    10.1007/s00012-013-0230-7 - link to the publication
  2. On structural completeness versus almost structural completeness problem: a discriminator varieties case study
    Authors:
    Miguel Campercholi, Michał M. Stronkowski, Diego Vaggione
    Academic press:
    Logic Journal of the IGPL (rok: 2015, tom: online, strony: 235-246), Wydawca: Oxford University Press
    Status:
    Published
    DOI:
    10.1093/jigpal/jzu032 - link to the publication
  3. Grzegorczyk algebras revisited
    Authors:
    Michał M. Stronkowski
    Academic press:
    Bulletin of the Section of Logic (rok: 2018, tom: 47, strony: 129-139), Wydawca: Wydawnictwo Uniwersytetu Łódzkiego
    Status:
    Accepted for publication
    DOI:
    10.18778/0138-0680.47.2.05 - link to the publication
  4. Almost structural completeness; an algebraic approach
    Authors:
    Wojciech Dzik, Michał M. Stronkowski
    Academic press:
    Annals of Pure and Applied Logic (rok: 2016, tom: 176, strony: 525-556), Wydawca: Elsevier
    Status:
    Published
    DOI:
    10.1016/j.apal.2016.03.002 - link to the publication
  5. Deciding active structural completeness
    Authors:
    Michał M. Stronkowski
    Academic press:
    Archive for Mathematical Logic (rok: 2019, ), Wydawca: Springer
    Status:
    Submitted
    DOI:
    nie - link to the publication
  6. Axiomatizations of universal classes through infinitary logic
    Authors:
    Michał M. Stronkowski
    Academic press:
    Algebra Universalis (rok: 2018, tom: 79, strony: art. 26, 12 stron), Wydawca: Springer
    Status:
    Published
    DOI:
    10.1007/s00012-018-0507-y - link to the publication
  7. Profiniteness in finitely generated varieties is undecidable
    Authors:
    Anvar M. Nurakunov, Michał M. Stronkowski
    Academic press:
    Journal of Symbolic Logic (rok: 2018, ), Wydawca: CAMBRIDGE UNIV PRESS
    Status:
    Accepted for publication
    DOI:
    10.1017/jsl.2017.89 - link to the publication
  8. Boolean topological graphs of semigroups; the lack of first-order axiomatization
    Authors:
    Michał M. Stronkowski, Belinda Trotta
    Academic press:
    Semigroup Forum (rok: 2014, tom: 89, strony: 443-461), Wydawca: Springer
    Status:
    Published
    DOI:
    10.1007/s00233-014-9582-3 - link to the publication
  1. Active structural completeness for tabular modal logics
    Authors:
    Michał M. Stronkowski, Mateusz Uliński
    Conference:
    Advances in Modal Logic (rok: 2018, ), Wydawca: University of Bern
    Data:
    konferencja 27-31.08.2018
    Status:
    Published
    DOI:
    link to the publication
  2. Free Boolean extensions of Heyting algebras
    Authors:
    Michał M. Stronkowski
    Conference:
    Advances in Modal Logic 2016 (rok: 2016, ), Wydawca: Eötvös University
    Data:
    konferencja 30 sierpnia - 2 września 2016
    Status:
    Published
  3. Universal freeness and admissibility
    Authors:
    Michał M. Stronkowski
    Conference:
    The 30th International Workshop on Unification (UNIF 2016) (rok: 2016, ), Wydawca: University of Porto
    Data:
    konferencja 26 czerwca 2016
    Status:
    Published
    DOI:
    link to the publication

O Narodowym Centrum Nauki

Finansowanie nauki

Współpraca zagraniczna

Centrum prasowe

Deklaracja dostępności
Przetwarzanie danych osobowych
Polityka cookies

Partnerzy