Mathematical Logic Quarterly

• 

  Año 2007, Vol. 53, Número 3

  • Synthesized substructural logics

    Norihiro Kamide

    • Resumen

    págs. 219-225

    

  • Infinite games in the Cantor space and subsystems of second order arithmetic

    Takako Nemoto, MedYahya Ould MedSalem, Kazuyuki Tanaka

    págs. 226-236

    

  • Quantifier elimination for the theory of algebraically closed valued fields with analytic structure

    Yalin Firat Çelikler

    • Resumen

    págs. 237-246

    

  • Bases, spanning sets, and the axiom of choice

    Paul Howard

    págs. 247-254

    

  • A notion of selective ultrafilter corresponding to topological Ramsey spaces

    José G. Mijares

    págs. 255-267

    

  • On n -contractive fuzzy logics

    Rostislav Horcík, Carlos Noguera, Milan Petrík

    • Resumen

    págs. 268-288

    

  • A generalization of the Keisler-Morley theorem to recursively saturated ordered structures

    Shahram Mohsenipour

    • Resumen

    págs. 289-294

    

  • A note on stable sets, groups, and theories with NIP

    Alf Onshuus, Ya'acov Peterzil

    págs. 295-300

    

  • Coloring linear orders with Rado's partial order

    Riccardo Camerlo, Alberto Marcone

    págs. 301-305

    

  • A note on the decidability of exponential terms

    Paola D'Aquino, Giuseppina Terzo

    págs. 306-310

    

  • Kripke submodels and universal sentences

    Ben Ellison, Jonathan Fleischmann, Dan McGinn, Wim Ruitenburg

    págs. 311-320