Generator-offset property: Difference between revisions
| Line 112: | Line 112: | ||
==== Proof ==== | ==== Proof ==== | ||
(1) and (2) were proved in the proof of Prop 1. (3) is easy to check using (1). | (1) and (2) were proved in the proof of Prop 1. (3) is easy to check using (1). | ||
=== Theorem 4 (PWF implies SV3 and either GO or abacaba) === | |||
== Open conjectures == | == Open conjectures == | ||