Volume 40, Issue 4 | Archive for Mathematical Logic

Search all Archive for Mathematical Logic articles

Volume 40, Issue 4

May 2001

Filter by

Volume:

Sort by

Date published:

New to old Old to new

5 articles in this issue

The spectrum of partitions of a Boolean algebra
J. Donald Monk
Pages: 243 - 254
Explaining the Gentzen–Takeuti reduction steps: a second-order system
Wilfried Buchholz
Pages: 255 - 272
Trees and Keislers problem
Ali Enayat
Pages: 273 - 276
Submodels of Kripke models
Albert Visser
Pages: 277 - 295
Diophantine definability over non-finitely generated non-degenerate modules of algebraic extensions of ℚ
Alexandra Shlapentokh
Pages: 297 - 328