Topological representation of geometric theories
Henrik Forssell
págs. 380-393
The rigid relation principle, a new weak choice principle
Joel David Hamkins, Justin Palumbo
págs. 394-398
Quantifier elimination for elementary geometry and elementary affine geometry
Rafael Grimson, Bart Kuijpers, Walied Othman
págs. 399-416
Linear extensions of partial orders and reverse mathematics
Emanuele Frittaion, Alberto Marcone
págs. 417-423
The Bergman-Shelah preorder on transformation semigroups
Zak Messian, James D. Mitchell, Michal Morayne, Yann H. Péresse
págs. 424-433
Comparison of exponential-logarithmic and logarithmic-exponential series
Salma Kuhlmann, Marcus Tressl
págs. 434-448
págs. 449-467
Craig interpolation for semilinear substructural logics
Enrico Marchioni, George Metcalfe
págs. 468-481
págs. 482-497
The Kripke schema in metric topology
Robert S. Lubarsky, Fred Richman, Peter Schuster
págs. 498-501
© 2008-2024 Fundación Dialnet · Todos los derechos reservados