Proper forsing
Z Wikipedii, wolnej encyclopedia
Proper forsing (własność proper pojęć forsingu) – jedna z podstawowych własności pojęć forsingu wprowadzona przez izraelskiego matematyka Saharona Szelacha w drugiej połowie lat 70. XX wieku. Nazwa jest spolszczeniem angielskiego wyrażenia proper forcing.
W 1978 w czasie wykładów w Berkeley, Szelach przedstawił po raz pierwszy tę własność i jej zastosowania, w druku te idee ukazały się w 1980[1]. W 1982, Szelach opublikował monografię[2] przedstawiającą pierwsze systematyczne badania forsingów proper, związanych z nimi aksjomatów forsingowych i twierdzeń zachowawczych[3][4][5].