-
4Pac Structures as Invariants of Finite Group Actions – ErratumJournal of Symbolic Logic 1-1. forthcoming.
-
8Pac Structures as Invariants of Finite Group ActionsJournal of Symbolic Logic 1-36. forthcoming.We study model theory of actions of finite groups on substructures of a stable structure. We give an abstract description of existentially closed actions as above in terms of invariants and PAC structures. We show that if the corresponding PAC property is first order, then the theory of such actions has a model companion. Then, we analyze some particular theories of interest (mostly various theories of fields of positive characteristic) and show that in all the cases considered the PAC property …Read more
-
1Etyka pracy leśnika w latach 1918–1939 na terenie Wielkopolski w świetle materiałów archiwalnychAnnales. Ethics in Economic Life 14 (2): 91-99. 2011.Ethical principles concerning foresters were presented in this article in the light of the forest law passed in the interwar period for the whole country, as well as in the light of the documents issued by the local forest administration. For analysis were submitted especially archive documents on foresters’ responsibility for forest goods: wood and game. Ethical attitude of foresters translated, among other things, into efficient functioning of forest management all over Greater Poland.
-
25Model Theory of Fields with Finite Group Scheme ActionsJournal of Symbolic Logic 88 (4): 1443-1468. 2023.We study model theory of fields with actions of a fixed finite group scheme. We prove the existence and simplicity of a model companion of the theory of such actions, which generalizes our previous results about truncated iterative Hasse–Schmidt derivations [13] and about Galois actions [14]. As an application of our methods, we obtain a new model complete theory of actions of a finite group on fields of finite imperfection degree.
-
31Existentially closed fields with finite group actionsJournal of Mathematical Logic 18 (1): 1850003. 2018.We study algebraic and model-theoretic properties of existentially closed fields with an action of a fixed finite group. Such fields turn out to be pseudo-algebraically closed in a rather strong sense. We place this work in a more general context of the model theory of fields with a group scheme action.
-
8Geometric axioms for existentially closed Hasse fieldsAnnals of Pure and Applied Logic 135 (1-3): 286-302. 2005.We give geometric axioms for existentially closed Hasse fields. We prove a quantifier elimination result for existentially closed n-truncated Hasse fields and characterize them as reducts of existentially closed Hasse fields
-
16A note on a theorem of AxAnnals of Pure and Applied Logic 156 (1): 96-109. 2008.We state and prove a generalization of Ax’s theorem on the transcendence degree of solutions of the differential equation of the exponential map. We also discuss a positive characteristic analogue of this theorem
-
10Strongly Minimal Reducts of Valued FieldsJournal of Symbolic Logic 81 (2): 510-523. 2016.We prove that if a strongly minimal nonlocally modular reduct of an algebraically closed valued field of characteristic 0 contains +, then this reduct is bi-interpretable with the underlying field.
-
42Derivations of the Frobenius mapJournal of Symbolic Logic 70 (1): 99-110. 2005.We prove that the theory of fields with a derivation of Frobenius has the model companion which is stable and admits elimination of quantifiers up to the level of the λ-functions. Along the way, we give new geometric axioms of DCFp.
-
Universität RegensburgRegular Faculty
Areas of Interest
Philosophy of Religion |
20th Century Philosophy |