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
Electronic Edition (link) BibTeX
- Zofia Adamowicz, Sergei N. Artëmov, Damian Niwinski, Ewa Orlowska, Anna B. 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 Linfinitf/c0.
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
Copyright © Sat May 16 23:50:46 2009
by Michael Ley (ley@uni-trier.de)