Volume 36, Issue 6 | Archive for Mathematical Logic

Search all Archive for Mathematical Logic articles

Volume 36, Issue 6

October 1997

Filter by

Volume:

Sort by

Date published:

New to old Old to new

6 articles in this issue

A hierarchy of filters smaller than \(CF_\kappa\lambda-->\)
Yoshihiro Abe
Pages: 385 - 397
A proof of Hechler's theorem on embedding \(\aleph_1\)-directed sets cofinally into \((\omega^\omega,<^*)\)
Maxim R. Burke
Pages: 399 - 403
Total objects in inductively defined types
Lill Kristiansen
Dag Normann
Pages: 405 - 436
Kolmogorov complexity and the second incompleteness theorem
Makoto Kikuchi
Pages: 437 - 443
A proof of strongly uniform termination for Gödel's \(T\) by methods from local predicativity
Andreas Weiermann
Pages: 445 - 460
La valeur d'un entier classique en \(\lambda\mu\)-calcul
Karim Nour
Pages: 461 - 473