Mathematical Logic Quarterly

• 

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

  • Seleccionado

    Synthesized substructural logics

    Norihiro Kamide

    • Resumen

    págs. 219-225

    
  • Seleccionado

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

    Takako Nemoto, MedYahya Ould MedSalem, Kazuyuki Tanaka

    págs. 226-236

    
  • Seleccionado

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

    Yalin Firat Çelikler

    • Resumen

    págs. 237-246

    
  • Seleccionado

    Bases, spanning sets, and the axiom of choice

    Paul Howard

    págs. 247-254

    
  • Seleccionado

    A notion of selective ultrafilter corresponding to topological Ramsey spaces

    José G. Mijares

    págs. 255-267

    
  • Seleccionado

    On n -contractive fuzzy logics

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

    • Resumen

    págs. 268-288

    
  • Seleccionado

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

    Shahram Mohsenipour

    • Resumen

    págs. 289-294

    
  • Seleccionado

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

    Alf Onshuus, Ya'acov Peterzil

    págs. 295-300

    
  • Seleccionado

    Coloring linear orders with Rado's partial order

    Riccardo Camerlo, Alberto Marcone

    págs. 301-305

    
  • Seleccionado

    A note on the decidability of exponential terms

    Paola D'Aquino, Giuseppina Terzo

    págs. 306-310

    
  • Seleccionado

    Kripke submodels and universal sentences

    Ben Ellison, Jonathan Fleischmann, Dan McGinn, Wim Ruitenburg

    págs. 311-320