ΠŸΡ€ΠΈΠΌΠ΅Π½Π° форсинг ΠΌΠ΅Ρ‚ΠΎΠ΄Π΅ Π½Π° доказивањС ΠΊΠΎΠΌΠ±ΠΈΠ½Π°Ρ‚ΠΎΡ€Π½ΠΈΡ… Ρ‚Π²Ρ€Ρ’Π΅ΡšΠ° - PhDData

Access database of worldwide thesis




ΠŸΡ€ΠΈΠΌΠ΅Π½Π° форсинг ΠΌΠ΅Ρ‚ΠΎΠ΄Π΅ Π½Π° доказивањС ΠΊΠΎΠΌΠ±ΠΈΠ½Π°Ρ‚ΠΎΡ€Π½ΠΈΡ… Ρ‚Π²Ρ€Ρ’Π΅ΡšΠ°

The thesis was published by Stefanović Nedeljko, in September 2023, University of Novi Sad.

Abstract:

Paul Cohen constructed a model (Cohen’s symmetric model) for which he proved that the axioms of ZF hold in it, but not the Axiom of Choice. Nevertheless, Halpern and Levy proved in that in the Cohen’s symmetric model BPI (the statement that every Boolean algebra has an ultrafilter) is true. That proof was based on the Halpern-LΓ€uchli theorem, a Ramsey-Theoretic proposition about the partitioning of tree products. Later, Harrington found another proof of the Halpern-LΓ€uchli theorem using forcing. Later, many other applications of the Halpern-LΓ€uchli theorem were found cite{rs}. Here, Halpern-LΓ€uchli theorem is derived from the fact that BPI holds in the Cohen’s symmetric model, and it is shown how that model can be used instead of the Halpern-LΓ€uchli theorem to prove statements which are otherwise proved by applying the theorem. In other words, a mathematical method is given. That method is an alternative to the Halpern-LΓ€uchli theorem in its applications, whereby that method has the same power as the theorem itself. This method is abstracted by ZFC theorem without metamathematical notions in formulation. Also, a relative consistency with ZFC, of some principles which are stronger than the Halpern-LΓ€uchli theorem, is given. This provides a new proof of the Halpern-LΓ€uchli theorem from the axioms of ZFC. Corresponded ZFC theorem without metamathematical notions in formulation is also given.



Read the last PhD tips