Gregor Dolinar: Jensenov kvadratni princip

Povztek: Jensenov kvadratni princip je trditev, da obstaja zaporedje množic z določenimi lastnostmi čisto kombinatorične narave. Je neodvisen od teorije ZFC. Pogledali si bomo, kako lahko s preddoločanjem kreiramo tako zaporedje. Problem je sicer precej enostaven in rešitev je znana že kar nekaj časa. Naša naloga pa bo problem rešiti na tak način (tj. poiskati tako preddoločanje), da bomo v samem postopku imeli čim večji nadzor nad dogajanjem. S tem bo metoda postala lažja, stranski učinki pa minimalni.

Vabljeni!