Kładziemy oraz dla wtedy i tylko wtedy, gdy ( oraz) i jeśli i to Łatwo można sprawdzić, że są porządkami częściowymi na zaświadczającymi, że spełnia aksjomat A. Ogólniej, pojęcia forsingu zbudowane zgodnie z metodą norm na możliwościach spełniają aksjomat A przy naturalnych warunkachRosłanowski, Andrzej; Szelach, Saharon: Norms on possibilities. I. Forcing with trees and creatures. „Mem. Amer. Math. Soc.” 141 (1999), no. 671, ..
Zobacz też forsing PFA pojęcie forsingu teoria mnogości
Przypisy
Kategoria:Forsing