nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
1 |
A contribution to the end-extension problem and the Π1 conservativeness problem
|
Adamowicz, Zofia |
|
1993 |
61 |
1-2 |
p. 3-48 46 p. |
artikel |
2 |
A generalized notion of weak interpretability and the corresponding modal logic
|
Dzhaparidze, Giorgie |
|
1993 |
61 |
1-2 |
p. 113-160 48 p. |
artikel |
3 |
A note on the diagonalizable algebras of PA and ZF
|
Shavrukov, V.Yu. |
|
1993 |
61 |
1-2 |
p. 161-173 13 p. |
artikel |
4 |
A sharpened version of McAloon's theorem on initial segments of models of IΔ 0
|
D'Aquino, Paola |
|
1993 |
61 |
1-2 |
p. 49-62 14 p. |
artikel |
5 |
Editorial board
|
|
|
1993 |
61 |
1-2 |
p. ii- 1 p. |
artikel |
6 |
Hilbert's tenth problem for weak theories of arithmetic
|
Kaye, Richard |
|
1993 |
61 |
1-2 |
p. 63-73 11 p. |
artikel |
7 |
On ∑ 1 and ∏ 1 sentences and degrees of interpretability
|
Lindström, Per |
|
1993 |
61 |
1-2 |
p. 175-193 19 p. |
artikel |
8 |
On the provability logic of bounded arithmetic
|
Berarducci, Alessandro |
|
1993 |
61 |
1-2 |
p. 75-93 19 p. |
artikel |
9 |
Preface
|
de Jongh, Dick |
|
1993 |
61 |
1-2 |
p. 1- 1 p. |
artikel |
10 |
The analytical completeness of Dzhaparidze's polymodal logics
|
Boolos, George |
|
1993 |
61 |
1-2 |
p. 95-111 17 p. |
artikel |