Annals of Pure and Applied Logic, Volume 164
Volume 164, Number 1, January 2013
Yimu Yin: Integration in algebraically closed valued fields with sections. 1-29- Philip Scowcroft: Erratum to "Elimination of unbounded quantifiers for some poly-regular groups of infinite rank" [Ann. Pure Appl. Logic 149 (1-3) (2007) 40-80]. 65
Volume 164, Number 2, February 2013
- Jason A. Schanker: Partial near supercompactness. 67-85
- Chuck Liang, Dale Miller: Kripke semantics and proof systems for combining intuitionistic logic and classical logic. 86-111
- Ciro Russo: An order-theoretic analysis of interpretations among propositional deductive systems. 112-130
- Monica Van Dieren: Erratum to "Categoricity in abstract elementary classes with no maximal models" [Ann. Pure Appl. Logic 141 (2006) 108-147]. 131-133
Volume 164, Number 3, March 2013
- Vincenzo Marra, Luca Spada: Duality, projectivity, and unification in Łukasiewicz logic and MV-algebras. 192-210
- Antongiulio Fornasiero: Locally o-minimal structures and structures with locally o-minimal open core. 211-229
- Lauri Keskinen: Characterizing all models in infinite cardinalities. 230-250
- James G. Raftery: Order algebraizable logics. 251-283
- Pierre Simon: Distal and non-distal NIP theories. 294-318
- Antonio di Nola, Anna R. Ferraioli, Giacomo Lenzi: Algebraically closed MV-algebras and their sheaf representation. 349-355
- Matthew de Brecht: Quasi-Polish spaces. 356-381
Volume 164, Number 4, April 2013
- Peter Aczel: Rudimentary and arithmetical constructive set theory. 396-415
- Douglas S. Bridges: Characterising dominated weak-operator continuous functionals on subspaces of B(H). 416-420
- Francesco Ciraulo: Regular opens in constructive topology and a representation theorem for overlap algebras. 421-436
- Thierry Coquand: About Goodman's Theorem. 437-442
- Hajime Ishihara: Relating Bishop's function spaces to neighbourhood spaces. 482-490
- Peter Schroeder-Heister: Definitional Reflection and Basic Logic. 491-501
- Silvio Valentini: Cantor theorem and friends, in logical form. 502-508
Volume 164, Number 5, May 2013
- Sam Sanders: Reverse-engineering Reverse Mathematics. 528-541
- Mathieu Hoyrup: Computability of the ergodic decomposition. 542-549
- Ivan Georgiev, Dimiter Skordev: Conditional computability of real functions with respect to a class of operators. 550-565
- Amin Farjudian: On the Kolmogorov complexity of continuous real functions. 566-576
- Klaus Ambos-Spies, Philipp Bodewig, Yun Fan, Thorsten Kräling: The partial orderings of the computably enumerable ibT-degrees and cl-degrees are not elementarily equivalent. 577-588
Volume 164, Number 6, June 2013
- Federico Aschieri: Learning based realizability for HA + EM1 and 1-Backtracking games: Soundness and completeness. 591-617
- José Espírito Santo: Towards a canonical classical natural deduction system. 618-650
- Danko Ilik: Continuation-passing style models complete for intuitionistic logic. 651-662
- Reinhard Kahle, Isabel Oitavem: Applicative theories for the polynomial hierarchy of time and its levels. 663-675
- Richard McKinley: Canonical proof nets for classical logic. 702-732
- Grigori Mints: Epsilon substitution for first- and second-order predicate logic. 733-739
Volume 164, Numbers 7-8, August 2013
- Yasuo Yoshinobu: Operations, climbability and the proper forcing axiom. 749-762
- Vera Fischer, Sy-David Friedman, Lyubomyr Zdomskyy: Cardinal characteristics, projective wellorders and large continuum. 763-770
- Sergei Odintsov, Vladimir Rybakov: Unification and admissible rules for paraconsistent minimal Johanssons' logic J and positive intuitionistic logic IPC+. 771-784
- David Fernández Duque, Joost J. Joosten: Hyperations, Veblen progressions and transfinite iteration of ordinal functions. 785-801
- Jan Cz. Dobrowolski, Krzysztof Krupinski: On ω-categorical, generically stable groups and rings. 802-812
- Gerhard Jäger: Operational closure and stability. 813-821
Volume 164, Number 9, September 2013
- Moti Gitik, Saharon Shelah: Applications of pcf for mild large cardinals to elementary embeddings. 855-865
- Jannis Bulian, Ian Hodkinson: Bare canonicity of representable cylindric and polyadic algebras. 884-906
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-06-18T214307 by the dblp team