Volume 31, Issue 5 | Archive for Mathematical Logic

Search all Archive for Mathematical Logic articles

Volume 31, Issue 5

September 1992

Filter by

Volume:

Sort by

Date published:

New to old Old to new

6 articles in this issue

Stable theories without dense forking chains
Bernhard Herwig
James G. Loveys
O. Wagner
OriginalPaper Pages: 297 - 303
Remarks on Herbrand normal forms and Herbrand realizations
Ulrich Kohlenbach
OriginalPaper Pages: 305 - 317
On the simplicity of the automorphism group ofP(ω)/fin
Sakaé Fuchino
OriginalPaper Pages: 319 - 330
Bounds for cut elimination in intuitionistic propositional logic
Jörg Hudelmaier
OriginalPaper Pages: 331 - 353
EM constructions for a class of generalized quantifiers
Martin Otto
OriginalPaper Pages: 355 - 371
Indescribable cardinals without diamonds
Kai Hauser
OriginalPaper Pages: 373 - 383