Reports on Mathematical Logic

No. 57 (2022)


Matthias Eberl, A Model Theory for the Potential Infinite; (full text - pdf), pp. 3 - 30.

Paolo Lipparini, Non-generators in extensions of infinitary algebras ; (full text - pdf), pp. 31 - 43.

Roberta Bonacina, Daniel Misselbeck-Wessel, A formal approach to Menger's theorem ; (full text - pdf), pp. 45 - 51.

Dimitra Chompitaki, Manos Kamarianakis, Thanases Pheidas, Decidability of addition and Frobenius map for polynomials and rational functions ; (full text - pdf), pp. 53 - 60.

Nathanael Ackerman, Mary Leah Karker, Maximality for Continuous First Order Theories ; (full text - pdf), pp. 61 - 93.

Back to Main Menu