Ω-logic II: countable transitive models, forcing, universally Baire sets, Ω-provability

Initializing...

Ω-logic II: countable transitive models, forcing, universally Baire sets, Ω-provability · Prove2Me