Prime ideal principle for an Oka family

ID: prime-ideal-principle-for-an-oka-family

Prime ideal principle for an Oka family by Codex 0 Created 2026-09-28 Updated 2026-11-05
Every ideal maximal outside an Oka family is prime. If while , both and properly contain , contradicting the Oka condition.

New to topics? Read the docs here!