Submitted Papers
- (with L. Gambarte) Categories with a base of computability, Journal of Logic and Computation, 2025.
- (with L. Gambarte) tba, Computer Science Logic 2026, 2025.
- (with D. Misselbeck-Wessel) Richman Rigs Revisited, Communications in Algebra, 2025.
- (with D. Misselbeck-Wessel) Constructive Stone representations for separated swap and Boolean algebras, Journal of Symbolic Logic, 2025
Back to my webpage
Last modified: 10.10.2025