Annals of Pure and Applied Logic, Volume 126

Volume 126, Numbers 1-3, April 2004

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