Annals of Pure and Applied Logic, Volume 145

Volume 145, Number 1, January 2007

Predrag Tanovic:
Non-isolated types in stable theories. 1-15
Ali Enayat:
Automorphisms of models of arithmetic: A unified view. 16-36
Satoshi Matsuoka:
Weak typed Böhm theorem on IMLL. 37-90
Zofia Adamowicz, Leszek Aleksander Kolodziejczyk:
Partial collapses of the Sigma₁ complexity hierarchy in models for fragments of bounded arithmetic. 91-95
Assaf Hasson:
Interpreting structures of finite Morley Rank in strongly minimal sets. 96-114

Fernando Ferreira, Paulo Oliva:
Bounded functional interpretation and feasible analysis. 115-129
Gunnar Wilken:
Ordinal arithmetic based on Skolem hulling. 130-161
Gunnar Wilken:
Sigma₁-elementarity and Skolem hull operators. 162-175
Harold Simmons:
A coverage construction of the reals and the irrationals. 176-203
Claude Sureson:
A valuation ring analogue of von Neumann regularity. 204-222

Robert Saxon Milnikel:
Derivability in certain subsystems of the Logic of Proofs is Pi₂^p-complete. 223-239
Milos S. Kurilic:
Splitting families and forcing. 240-251
Andrew E. M. Lewis, George Barmpalias:
Randomness and the linear degrees of computability. 252-257
Gennadi Puninski, Vera Puninskaya, Carlo Toffalori:
Decidability of the theory of modules over commutative valuation domains. 258-275
Masahiro Hamano, Philip J. Scott:
A categorical semantics for polarized MALL. 276-313
Erik Palmgren, Steven J. Vickers:
Partial Horn logic and cartesian categories. 314-353
Beibut Sh. Kulpeshov:
Criterion for binarity of N₀-categorical weakly o-minimal theories. 354-367
Silvio Valentini:
Constructive characterizations of bar subsets. 368-378

Last update Wed Feb 15 04:27:13 2012 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page