Conciseness of first-order formulae

Preprint 25025
PDF
Authors: Martina Conte, Moritz Petschick
Project: A6
Published: Monatsh. Math. 209(2) (2026), 215-240
Submission date: 05 May 2025