
Limitations of the InvertibleMap Equivalences
This note draws conclusions that arise by combining two recent papers, b...
read it

Separating Rank Logic from Polynomial Time
In the search for a logic capturing polynomial time the most promising c...
read it

Canonization for Bounded and Dihedral Color Classes in Choiceless Polynomial Time
In the quest for a logic capturing PTime the next natural classes of str...
read it

Walk refinement, walk logic, and the iteration number of the WeisfeilerLeman algorithm
We show that the 2dimensional WeisfeilerLeman algorithm stabilizes nv...
read it

Constructive Analysis of S1S and Büchi Automata
We study S1S and Büchi automata in the constructive type theory of the C...
read it
Moritz Lichter
is this you? claim profile