Pojęcie forsingu
Z Wikipedii, wolnej encyclopedia
Pojęcie forsingu – praporządek używany w teorii forsingu i jej zastosowaniach.
Jeśli jest pojęciem forsingu, to elementy zbioru są nazywane warunkami, a dla takich że mówimy, że warunek jest silniejszy niż warunek . Ponieważ część matematyków używa odwrotnej notacji (głównie Saharon Szelach i jego współpracownicy), to zwyczajowo przyjmuje się konwencję alfabetyczną: warunki silniejsze są oznaczane przez późniejsze litery alfabetu.
Gdy nie istnieje warunek silniejszy od każdego z dwóch warunków q oraz r, to mówimy, że te dwa warunki są sprzeczne.
W artykule o forsingu, teoria leżąca u jego podstaw jest rozwinięta w oparciu o zupełne algebry Boole’a, jednak często rozwija się tę teorię bazując całkowicie na pojęciach forsingu[1].