Journal: Annals of Pure and Applied Logic

Volume 159, Issue 3

249 -- 250Yuri Leonidovich Ershov, Klaus Keimel, Ulrich Kohlenbach, Andrei Morozov. Preface
251 -- 267Andrej Bauer, Iztok Kavkler. A constructive theory of continuous domains suitable for implementation
268 -- 284Ernst-Erich Doberkat, Christoph Schubert. Coalgebraic logic for stochastic right coalgebras
285 -- 291Yuri Leonidovich Ershov. On the classification of (effective) phi-spaces
292 -- 306Klaus Keimel, Jimmie D. Lawson. D-completions and the d-topology
307 -- 317Klaus Keimel, A. Rosenbusch, Thomas Streicher. A Minkowski type duality mediating between state and predicate transformer semantics for a probabilistic nondeterministic language
318 -- 332Oleg V. Kudinov, Victor L. Selivanov, Anton V. Zhukov. Definability in the h-quasiorder of labeled forests
333 -- 340Yinbin Lei, Maokang Luo. Rough concept lattices and domains
341 -- 355Vladimir Sazonov. Natural non-dcpo domains and f-spaces

Volume 159, Issue 1-2

1 -- 48Emil Jerábek. Substitution Frege and extended Frege proof systems in non-classical logics
49 -- 70Gennadi Puninski, Carlo Toffalori. Towards the decidability of the theory of modules over finite commutative rings
71 -- 99Andrew D. Brooke-Taylor, Sy-David Friedman. Large cardinals and gap-1 morasses
100 -- 110Cédric Rivière. Further notes on cell decomposition in closed ordered differential fields
111 -- 128Thomas Brihaye, Christian Michaux, Cédric Rivière. Cell decomposition and dimension function in the theory of closed ordered differential fields
129 -- 145Stefan Hetzl. Describing proofs by short tautologies
146 -- 170Balder ten Cate, David Gabelaia, Dmitry Sustretov. Modal languages for topology: Expressivity and definability
171 -- 186Rosalie Iemhoff, George Metcalfe. Proof theory for admissible rules
187 -- 197Wesley Calvert, Douglas A. Cenzer, Valentina S. Harizanov, Andrei S. Morozov. Effective categoricity of Abelian p-groups
198 -- 248Daniel Busche, Ralf Schindler. The strength of choiceless patterns of singular and weakly compact cardinals