Archive for Mathematical Logic

Volume 31, Issue 1

January 1991

5 articles in this issue

Quantifier elimination for infinite terms
G. Marongiu
S. Tulipani
OriginalPaper Pages: 1 - 17
The density of the low₂ n-r.e. degrees
S. Barry Cooper
OriginalPaper Pages: 19 - 24
Reflecting stationary sets and successors of singular cardinals
Saharon Shelah
OriginalPaper Pages: 25 - 53
Les beaux automorphismes
Daniel Lascar
OriginalPaper Pages: 55 - 68
A logic of abstraction related to finite constructive number classes
Andrea Cantini
OriginalPaper Pages: 69 - 83