Volume 30, Issue 4 | Archive for Mathematical Logic

Search all Archive for Mathematical Logic articles

Volume 30, Issue 4

July 1990

Filter by

Volume:

Sort by

Date published:

New to old Old to new

5 articles in this issue

On some formalized conservation results in arithmetic
P. Clote
P. Hájek
J. Paris
OriginalPaper Pages: 201 - 218
Some applications of computable one-one numberings
Martin Kummer
OriginalPaper Pages: 219 - 230
Definability properties and the congruence closure
Xavier Caicedo
OriginalPaper Pages: 231 - 240
Opérateurs de mise en mémoire et traduction de Gödel
Jean-Louis Krivine
OriginalPaper Pages: 241 - 267
Patching ideal families on℘ _kλ
Christopher C. Leary
OriginalPaper Pages: 269 - 275