Premium
An Absoluteness Theorem
Author(s) -
Kleinberg Eugene M.
Publication year - 1981
Publication title -
mathematical logic quarterly
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.473
H-Index - 28
eISSN - 1521-3870
pISSN - 0942-5616
DOI - 10.1002/malq.19810271302
Subject(s) - absoluteness , mathematics , computer science , discrete mathematics , combinatorics , programming language
There are a number of results in set theory to the effect that certain types of assumptions can always be eliminated from the proofs of certain types of theorems. For example, if one were ever able to prove the Riemann hypothesis under the assumption of the continuum hypothesis, i t is a result of set theory that he would be able to prove the Riemann hypothesis outright. This is an absoluteness phenomenon.