Mathematical Logic Quarterly

• 

  Año 2012, Vol. 58, Número 1-2

  • Seleccionado

    Isomorphic formulae in classical propositional logic

    Kosta Dosen, Zoran Petric

    págs. 5-17

    
  • Seleccionado

    Reverse mathematics and infinite traceable graphs

    Peter A. Cholak, David Galvin, Reed Solomon

    págs. 18-28

    
  • Seleccionado

    Algebraic semantics for the (<>, ¬¬)-fragment of IPC

    Katarzyna Slomczynska

    págs. 29-37

    
  • Seleccionado

    Non-saturation of the non-stationary ideal on Pk () with of countable cofinality

    Pierre Matet

    págs. 38-45

    
  • Seleccionado

    A characterization of retracts in certain Fraïssé limits

    Igor Dolinka

    págs. 46-54

    
  • Seleccionado

    Forcing with the Anti-Foundation axiom

    Olivier Esser

    págs. 55-62

    
  • Seleccionado

    Quantified universes and ultraproducts

    Alireza Mofidi, Seyed-Mohammad Bagheri

    págs. 63-74

    
  • Seleccionado

    Indestructibility, measurability, and degrees of supercompactness

    Arthur W. Apter

    págs. 75-82

    
  • Seleccionado

    The failure of GCH at a degree of supercompactness

    Brent Cody

    págs. 83-94

    
  • Seleccionado

    Eventually open action

    Barbara Majcher-Iwanow

    págs. 95-104

    
  • Seleccionado

    The complexity of countable categoricity in finite languages

    Aleksander Ivanov

    págs. 105-112

    
  • Seleccionado

    On S11 equivalence relations over the natural numbers

    Ekaterina B. Fokina, Sy-David Friedman

    págs. 113-124

    
  • Seleccionado

    Definably connected nonconnected sets

    Antongiulio Fornasiero

    págs. 125-126