Chris Liebold
Die Arbeit "From Quantifier Depth to Quantifier Number: Separating Structures with k Variables" von Harry Vinall-Smeeth wurde auf der LICS’24 (https://lics.siglog.org/lics24/) zur Veröffentlichung angenommen. Ein Vorabdruck ist unter https://arxiv.org/abs/2311.15885 verfügbar. Das Papier untersucht die Anzahl der Quantoren, die benötigt werden, um Paare von relationalen Strukturen in Logik erster Stufe mit begrenzter Variablenzahl zu unterscheiden. Eine schöne Konsequenz der Ergebnisse ist, dass die Zulassung von nur einer zusätzlichen Variable zu einer exponentiellen Zunahme der Prägnanz führen kann.