Projects funded by the NCN


Information on the principal investigator and host institution

Information of the project and the call

Keywords

Equipment

Delete all

Model-theoretic and algebraic properties of separably closed G-fields.

2016/21/N/ST1/01465

Keywords:

model theory model-theoretic algebra

Descriptors:

  • ST1_1: Logic and foundations
  • ST1_2: Algebra

Panel:

ST1 - Mathematics: all areas of mathematics, pure and applied, as well as mathematical foundations of computer science, physics and statistics

Host institution :

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

woj. mazowieckie

Other projects carried out by the institution 

Principal investigator (from the host institution):

Daniel Hoffmann 

Number of co-investigators in the project: 2

Call: PRELUDIUM 11 - announced on 2016-03-15

Amount awarded: 80 550 PLN

Project start date (Y-m-d): 2017-03-09

Project end date (Y-m-d): 2020-03-08

Project duration:: 36 months (the same as in the proposal)

Project status: Project settled

Project description

Download the project description in a pdf file

Note - project descriptions were prepared by the authors of the applications themselves and placed in the system in an unchanged form.

Equipment purchased [PL]

  1. Komputer osobisty (4 950 PLN)

Information in the final report

  • Publication in academic press/journals (8)
  • Articles in post-conference publications (1)
  1. Elementarily Equivalence Theorem for PAC structures
    Authors:
    J. Dobrowolski, D.M. Hoffmann, J. Lee
    Academic press:
    Journal of Symbolic Logic (rok: 2020, tom: 85(4), strony: 1467-1498), Wydawca: Cambridge University Press
    Status:
    Published
    DOI:
    10.1017/jsl.2020.61 - link to the publication
  2. Model theory of fields with free operators in positive characteristic
    Authors:
    Ozlem Beyarslan, Daniel M. Hoffmann, Moshe Kamensky, Piotr Kowalski
    Academic press:
    Transactions of the American Mathematical Society (rok: 2019, tom: (8) 372, strony: 5991-6016), Wydawca: AMS
    Status:
    Published
    DOI:
    10.1090/tran/7896 - link to the publication
  3. Existentially closed fields with finite group actions
    Authors:
    Daniel M. Hoffmann i Piotr Kowalski
    Academic press:
    Journal of Mathematical Logic (rok: 2018, tom: (1) 18, strony: 1850003 (26 stron)), Wydawca: World Scientific
    Status:
    Published
    DOI:
    10.1142/S0219061318500034 - link to the publication
  4. Fields with automorphism and valuation
    Authors:
    Ozlem Beyarslan, Daniel M. Hoffmann, Gonenc Onay, David Pierce
    Academic press:
    Archive for Mathematical Logic (rok: 2020, tom: n/d, strony: n/d), Wydawca: Springer
    Status:
    Published
    DOI:
    10.1007/s00153-020-00728-5 - link to the publication
  5. Co-theory of sorted profinite groups for PAC structures
    Authors:
    D.M Hoffmann, J. Lee
    Academic press:
    Selecta Mathematica (rok: 2019, tom: n/d, strony: n/d), Wydawca: Springer
    Status:
    Submitted
  6. Model theoretic dynamics in Galois fashion
    Authors:
    Daniel M. Hoffmann
    Academic press:
    Annals of Pure and Applied Logic (rok: 2019, tom: Vol.170 Issue 7, strony: 755-804), Wydawca: Elsevier
    Status:
    Published
    DOI:
    10.1016/j.apal.2019.02.002 - link to the publication
  7. On Galois groups and PAC substructures
    Authors:
    Daniel M. Hoffmann
    Academic press:
    Fundamenta Mathematicae (rok: 2020, tom: n/d, strony: n/d), Wydawca: IMPAN
    Status:
    Published
    DOI:
    10.4064/fm788-10-2019 - link to the publication
  8. Witt vectors and separably closed fields with higher derivations
    Authors:
    Daniel M. Hoffmann
    Academic press:
    Notre Dame Journal of Formal Logic , Wydawca: Duke University Press
    Status:
    Submitted
  1. PAC in nutshell
    Authors:
    Daniel M. Hoffmann
    Conference:
    RIMS Model Theory Workshop 2018 (rok: 2019, ), Wydawca: RIMS
    Data:
    konferencja 10.12.2018-12.12.2018
    Status:
    Published