Philipp A. Grzywaczyk

collaborators

2 papers

cs.LO2026

Finite-on-Top-of-Temporal CSPs in Fixed-Point Logic

Manuel Bodirsky, Philipp A. Grzywaczyk

We study definability in fixed-point logic with counting (FPC) for a class of constraint satisfaction problems (CSPs) that simultaneously generalises finite-domain CSPs and tempora…

math.NT2024

Primitive elements of finite fields $F_{q^{r}}$ avoiding affine hyperplanes for $q = 4$ and $q = 5$

Philipp Alexander Grzywaczyk, Arne Winterhof

For a finite field $F_{q^{r}}$ with fixed $q$ and $r$ sufficiently large, we prove the existence of a primitive element outside of a set of $r$ many affine hyperplanes for $…

Finite-on-Top-of-Temporal CSPs in Fixed-Point Logic

Primitive elements of finite fields Fqr​ avoiding affine hyperplanes for q=4 and q=5

Primitive elements of finite fields $F_{q^{r}}$ avoiding affine hyperplanes for $q = 4$ and $q = 5$