论文标题
来回的替代方案
An alternative to back-and-forth
论文作者
论文摘要
从某种意义上说，我们展示了Rasiowa-Sikorski引理如何简化的结果证明了使用该技术来源的技术，通常导致并不是很有说明性的论点。前两个部分试图展示一个简单而复杂的已知结果证明，希望读者欣赏我们认为论点的最终结果比经典文学中的观点更为清晰。最后一部分显示了如何将相同的技术适应通常被认为是设定理论的领域，在这种情况下，图理论。第一和第二部分是根据我的学士学位论文，在罗伯托·皮卡多·门多萨（Roberto Pichardo Mendoza）博士的指导下，我非常感谢他对这项工作的建议和修改。据我们所知，本文中提到的所有结果都是众所周知的，最后两个部分中的证明是原始的。
We exhibit how the Rasiowa-Sikorski Lemma simplifies, in a sense, proofs of results that make use of the technique known as back-and-forth, often resulting in not very illustrative arguments. The first two sections seek to show one simple and one complicated proofs of known results, in the hopes that the reader appreciates how the arguments end up, in our view, considerably clearer than those found in classic literature. The final section shows how the same techniques can be adapted to areas commonly considered distant to Set Theory, in this instance, Graph Theory. Sections one and two are based on my bachelor thesis, under the direction of Dr. Roberto Pichardo Mendoza, whom I deeply thank for his advice and revision of this work. All results mentioned in this paper are well known, however, as far as we know, the proofs in the last two sections are original.
