3 papers
math.RA2026
Non-dyadic Laver algebras
Juan P. Aguilera, Martina Iannella
We study finite Laver algebras, the generalizations of Laver tables on sets of cardinality not of the form . We characterize the conditions under which projections and embeddi…
math.LO2026
The Reverse Mathematics of Analytic Measurability
Juan P. Aguilera, Thibaut Kouptchinsky, Keita Yokoyama
A classical theorem of Lusin states that all analytic sets are Lebesgue-measurable. In this article we established the reverse mathematical strength of Lusin's theorem, which depen…
math.LO2026
The Cardinalities of Intervals of Equational Theories and Logics
Juan P. Aguilera, Nick Bezhanishvili, Tenyo Takahashi
We study the cardinality of classes of equational theories (varieties) and logics by applying descriptive set theory. We affirmatively solve open problems raised by Jackson and Lee…