Annals of Pure and Applied Logic
, Volume 106
Volume 106, Number 1-3, 1 December 2000
Klaus Ambos-Spies
,
Denis R. Hirschfeldt
,
Richard A. Shore
: Undecidability and 1-types in intervals of the computably enumerable degrees. 1-47
Olivier Lessmann
: Ranks and pregeometries in finite diagrams. 49-82
Ian M. Hodkinson
,
Frank Wolter
,
Michael Zakharyaschev
: Decidable fragment of first-order temporal logics. 85-134
Paul Larson
: Martin's Maximum and the P
max
axiom(*). 135-149
Itay Neeman
: Unraveling Pi
1
1
. 151-205
Heike Mildenberger
,
Saharon Shelah
: Changing cardinal characteristics without changing Omega-sequences or cofinalities. 207-260
Hirotaka Kikyo
,
Anand Pillay
: The definable multiplicity property and generic automorphisms. 263-273
Athanassios Tzouvaras
: Notions of symmetry n set theory with classes. 275-295
Copyright ©
Mon Mar 15 03:57:33 2010 by
Michael Ley
(
ley@uni-trier.de
)