- Gunther Mainhardt:
Traces, traceability, and lattices of traces under the set theoretic inclusion. Arch. Math. Log. 52(7-8): 847-869 (2013) - Carlos Martinez-Ranero:
Gap structure after forcing with a coherent Souslin tree. Arch. Math. Log. 52(3-4): 435-447 (2013) - Diego Alejandro Mejía:
Matrix iterations and Cichon's diagram. Arch. Math. Log. 52(3-4): 261-278 (2013) - Pierluigi Minari:
Labeled sequent calculi for modal logics and implicit contractions. Arch. Math. Log. 52(7-8): 881-907 (2013) - Andrzej Roslanowski, Saharon Shelah:
More about λ-support iterations of (<λ)-complete forcing notions. Arch. Math. Log. 52(5-6): 603-629 (2013) - Hiroshi Sakai:
Chang's Conjecture and weak square. Arch. Math. Log. 52(1-2): 29-45 (2013) - Saeed Salehi:
Herbrand consistency of some finite fragments of bounded arithmetical theories. Arch. Math. Log. 52(3-4): 317-333 (2013) - Annika Siders:
Gentzen's consistency proof without heightlines. Arch. Math. Log. 52(3-4): 449-468 (2013) - Matthew Smedberg:
A dense family of well-behaved finite monogenerated left-distributive groupoids. Arch. Math. Log. 52(3-4): 377-402 (2013) - Stanislav O. Speranski:
A note on definability in fragments of arithmetic with free unary predicates. Arch. Math. Log. 52(5-6): 507-516 (2013) - Rebecca M. Steiner:
Effective algebraicity. Arch. Math. Log. 52(1-2): 91-112 (2013) - William R. Stirton:
A decidable theory of type assignment. Arch. Math. Log. 52(5-6): 631-658 (2013) - Predrag Tanovic:
Simple groups and the number of countable models. Arch. Math. Log. 52(7-8): 779-791 (2013) - Konstantinos Tsaprounis:
On extendible cardinals and the GCH. Arch. Math. Log. 52(5-6): 593-602 (2013) - Spencer Unger:
Aronszajn trees and the successors of a singular cardinal. Arch. Math. Log. 52(5-6): 483-496 (2013) - Frank O. Wagner:
Quelques réflexions inévitables. Arch. Math. Log. 52(1-2): 159-171 (2013) - Bin Zhao, Hongjun Zhou:
Generalized Bosbach and Riečan states on nucleus-based-Glivenko residuated lattices. Arch. Math. Log. 52(7-8): 689-706 (2013) - Huiling Zhu:
Distributive proper forcing axiom and cardinal invariants. Arch. Math. Log. 52(5-6): 497-506 (2013)