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
BibTeX
Olivier Lessmann
: Ranks and pregeometries in finite diagrams. 49-82
BibTeX
Ian M. Hodkinson
,
Frank Wolter
,
Michael Zakharyaschev
: Decidable fragment of first-order temporal logics. 85-134
BibTeX
Paul Larson
: Martin's Maximum and the P
max
axiom(*). 135-149
BibTeX
Itay Neeman
: Unraveling Pi
1
1
. 151-205
BibTeX
Heike Mildenberger
,
Saharon Shelah
: Changing cardinal characteristics without changing Omega-sequences or cofinalities. 207-260
BibTeX
Hirotaka Kikyo
,
Anand Pillay
: The definable multiplicity property and generic automorphisms. 263-273
BibTeX
Athanassios Tzouvaras
: Notions of symmetry n set theory with classes. 275-295
BibTeX
Copyright ©
Sat May 16 23:50:44 2009 by
Michael Ley
(
ley@uni-trier.de
)