Volume 126,
Numbers 1-3,
April 2004
Provinces of logic determined. Essays in the memory of Alfred Tarski. Parts I,
II and III
- 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 Linfinitf/c0.
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
Last update Fri May 25 08:54:16 2012
CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
