Does there exist a topological space such that every finite intersection of compact sets is compact, but a countably infinite intersection of compact sets need not be compact?MO can't solve it. GPT-6 Pro can't solve it. Can /sci/?
>>17053251It feels like we're trying to find something which is and isn't a Hausdorff space at the same time
>>17053251Yes, such a topological space exists.But Not in a Hausdorff Space
