Annals of Pure and Applied Logic, Volume 126

Volume 126, Numbers 1-3, April 2004

• Anil Nerode:
  Preface. 1-2
  
• Zofia Adamowicz, Sergei N. Artëmov, Damian Niwinski, Ewa Orlowska, Anna B. Romanowska, Jan Wolenski:
  Editorial. 3-4
  
• Solomon Feferman:
  Tarski's conception of logic. 5-13
  
• Jens Erik Fenstad:
  Tarski, truth and natural languages. 15-26
  
• Mario Gómez-Torrente:
  The indefinability of truth in the "Wahrheitsbegriff". 27-37
  
• Henryk Hiz:
  Reexamination of Tarski's semantics. 39-48
  
• Tapani Hyttinen, Gabriel Sandu:
  Truth and definite truth. 49-55
  
• Ilkka Niiniluoto:
  Tarski's definition and truth-makers. 57-76
  
• John W. Addison:
  Tarski's theory of definability: common themes in descriptive set theory, recursive function theory, classical pure logic, and finite-universe logic. 77-92
  
• Wilfrid Hodges:
  What languages have Tarski truth definitions? 93-113
  
• Roman Kossak:
  Undefinability of truth and nonstandard models. 115-123
  
• Henryk Kotlarski:
  The incompleteness theorems after 70 years. 125-138
  
• Dexter Kozen:
  Computational inductive definability. 139-148
  
• Joachim Lambek:
  What is the world of mathematics? 149-158
  
• Johann A. Makowsky:
  Algorithmic uses of the Feferman-Vaught Theorem. 159-213
  
• Jan Mycielski:
  On the tension between Tarski's nominalism and his model theory (definitions for a mathematical model of knowledge). 215-224
  
• Benjamin Wells:
  Applying, extending, and specializing pseudorecursiveness. 225-254
  
• Arnold Beckmann:
  Preservation theorems and restricted consistency statements in bounded arithmetic. 255-280
  
• Pietro Benvenuti, Radko Mesiar:
  On Tarski's contribution to the additive measure theory and its consequences. 281-286
  
• Aleksander Blaszczyk:
  Free Boolean algebras and nowhere dense ultrafilters. 287-292
  
• Tadeusz Figiel, Ryszard Frankiewicz, Ryszard Komorowski, Czeslaw Ryll-Nardzewski:
  On hereditarily indecomposable Banach spaces. 293-299
  
• Magdalena Grzech:
  Set theoretical aspects of the Banach space L_infinitf/c₀. 301-308
  
• Andrzej Grzegorczyk:
  Decidability without mathematics. 309-312
  
• Jaakko Hintikka:
  Independence-friendly logic and axiomatic set theory. 313-333
  
• J. Donald Monk:
  The spectrum of maximal independent subsets of a Boolean algebra. 335-348