Original Articles

THEOREMS AD INFINITUM

Published in: Quaestiones Mathematicae
Volume 7 , issue 3 , 1984 , pages: 295–298

DOI: 10.1080/16073606.1984.9632337

Author(s): N. , C.K. Phillips Department of Computer Science, Republic of South Africa

Keywords: 03B25 , 83B38

Abstract

The theorems of a first order theory can be partially ordered according to their strength. As a Consequence of two famous theorems of Gödel. the order turns out to be dense. This consequence is either disastrous or amusing, according to your personal view of research in mathematics.

« A THEOREM OF BÄCKLUND REVISITED

THE o-SPECTRUM OF r-ASYMPTOTICALLY QUASI-FINITE-RANK OPERATORS »