Mathematical Logic Quarterly

• 

  Año 2012, Vol. 58, Número 6

  • 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

    

  • Groups, group actions and fields definable in first-order topological structures

    Roman Wencel

    págs. 449-467

    

  • Craig interpolation for semilinear substructural logics

    Enrico Marchioni, George Metcalfe

    págs. 468-481

    

  • Cell decomposition and definable functions for weak p-adic structures

    Eva Leenknegt

    págs. 482-497

    

  • The Kripke schema in metric topology

    Robert S. Lubarsky, Fred Richman, Peter Schuster

    págs. 498-501