Journal: Annals of Pure and Applied Logic

Volume 160, Issue 3

229 -- 230Samuel R. Buss, S. Barry Cooper, Benedikt Löwe, Andrea Sorbi. Preface
231 -- 237Bahareh Afshari, Michael Rathjen. Reverse mathematics and well-ordering principles: A pilot study
238 -- 254Laurent Bienvenu, Wolfgang Merkle. Constructive equivalence relations on computable probability measures
255 -- 288José Félix Costa, Bruno Loff, Jerzy Mycka. A foundation for real recursive function theory
289 -- 301Hristo Ganchev, Ivan N. Soskov. The jump operator on the omega-enumeration degrees
302 -- 309Joel David Hamkins, Russell G. Miller. Post s Problem for ordinal register machines: An explicit approach
310 -- 318Peter Koepke, Benjamin Seyfferth. Ordinal machines and admissible recursion theory
319 -- 354Maria Emilia Maietti. A minimalist two-level foundation for constructive mathematics
355 -- 367Alberto Marcone, Antonio Montalbán. On Fraïssé s conjecture for linear orders of finite Hausdorff rank
368 -- 399Robert I. Soare. Turing oracle machines, online computing, and three displacements in computability theory
400 -- 418Mariya Ivanova Soskova. A non-splitting theorem in the enumeration degrees

Volume 160, Issue 2

129 -- 153Albert Visser. The predicative Frege hierarchy
154 -- 162Vassilios Gregoriades. A dichotomy result for a pointwise summable sequence of operators
163 -- 191Olivier Finkel, Dominique Lecomte. Classical and effective descriptive complexities of omega-powers
192 -- 213Qi Feng. A new characterization of supercompactness and applications
214 -- 228Adam R. Day. On the computational power of random strings

Volume 160, Issue 1

1 -- 12Richard Garner. On the strength of dependent products in the type theory of Martin-Löf
13 -- 21Thomas F. Kent. The structure of the s-degrees contained within a single e-degree
22 -- 32James Cummings, Matthew Foreman, Ernest Schimmerling. Organic and tight
33 -- 52Gerhard Jäger. Full operational set theory with unbounded existential quantification and power set
53 -- 81Petr Cintula, Francesc Esteva, Joan Gispert, Lluis Godo, Franco Montagna, Carles Noguera. Distinguished algebraic semantics for t-norm based fuzzy logics: Methods and algebraic equivalencies
82 -- 95Kai Brünnler, Thomas Studer. Syntactic cut-elimination for common knowledge
96 -- 116Philip Kremer. Dynamic topological S5
117 -- 126Milos S. Kurilic, Boris Sobot. A game on Boolean algebras describing the collapse of the continuum
127 -- 128Vincent Astier. Erratum to: Some model-theoretic results in the algebraic theory of quadratic forms [Ann. Pure Appl. Logic 112 (2-3) (2001) 189-223]