default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDAnnals 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 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
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-11-14 21:07 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
