“Disorder” in lattices of binumerations
Clement F. Kent · Czech digital mathematics library · 1974
The main result of this paper relates to result s"~o.FHa r jkovd and Paltich, regarding the ordering of consistency statements.We show that many of the same order properties are possessed by binumerations themselves, and by proof predicates.A result on independent sets of sentences in the Lindenbaum Sentence Algebra follows.