Volume 61,
Numbers 1-2,
6 May 1993
Special Issue:
A selection of papers preseted at the Provability,
Interpretability and Arithmetic Symposium
- Zofia Adamowicz:
A Contribution to the End-Extension Problem and the Pi1 Conservativeness Problem.
3-48
- Paola D'Aquino:
A Sharpened Version of McAloon's Theorem on Initial Segments of Models of I Delta0.
49-62
- Richard Kaye:
Hilbert's Tenth Problem for Weak Theories of Arithmetic.
63-73
- Alessandro Berarducci, Rineke Verbrugge:
On the Provability Logic of Bounded Arithmetic.
75-93
- George Boolos:
The Analytical Completeness of Dzhaparidze's Polymodal Logics.
95-111
- Giorgie Dzhaparidze:
A Generalized Notion of Weak Interpretability and the Corresponding Modal Logic.
113-160
- V. Yu. Shavrukov:
A Note on the Diagonalizable Algebras of PA and ZF.
161-173
- Per Lindström:
On Sigma1 and Pi1 Sentences and Degrees of Interpretability.
175-193
Volume 61,
Number 3,
11 June 1993
Copyright © Sat Nov 28 22:25:52 2009
by Michael Ley (ley@uni-trier.de)
