Journal: Math. Log. Q.

Volume 58, Issue 1-2

5 -- 17Kosta Dosen, Zoran Petric. Isomorphic formulae in classical propositional logic
18 -- 28Peter Cholak, David Galvin, Reed Solomon. Reverse mathematics and infinite traceable graphs
29 -- 37Katarzyna Slomczynska. Algebraic semantics for the (↔, ¬¬)-fragment of IPC
38 -- 45Pierre Matet. κ (λ) with λ of countable cofinality
46 -- 54Igor Dolinka. A characterization of retracts in certain Fraïssé limits
55 -- 62Olivier Esser. Forcing with the Anti-Foundation axiom
63 -- 74Alireza Mofidi, Seyed Mohammad Bagheri. Quantified universes and ultraproducts
75 -- 82Arthur W. Apter. Indestructibility, measurability, and degrees of supercompactness
83 -- 94Brent Cody. The failure of GCH at a degree of supercompactness
95 -- 104Barbara Majcher-Iwanow. Eventually open action
105 -- 112Aleksander Ivanov. The complexity of countable categoricity in finite languages
113 -- 124Ekaterina B. Fokina, Sy-David Friedman. 1 equivalence relations over the natural numbers
125 -- 126Antongiulio Fornasiero. Definably connected nonconnected sets