How to Approximate the Naive Comprehension Scheme Inside of Classical Logic |
Common terms and phrases
a-finite a-unions accumulation point approximate the naive Approximation Principle arbitrary intersections assumption axiom of choice axiom of foundation axiom of infinity B₁ c.f. proof Cauchy sequence central scale clopen closed sets closed under arbitrary comprehension scheme inside comprehension terms comprehensive strength contradicts Define inductively Density Principle descending chain dual power sets easy to check elements empty set extensional finite unions follows at once formulas Hence homeomorphism inaccessible ind.hyp inside of classical isolated Isolm large cardinals M₂ Maximal Union Principle Maximality Principle maximally compact universe minimal naive comprehension scheme obviously POS-U-COMP power and dual product topologies proof of Th Prop quantifiers regular cardinal regular scale resp result rule schemes S-COMP satisfying T₂ sequence singletons Suppose T-closed Theorem topological set theory topological universe universal set theory universe iff weakly compact WF-Repl ZFCWF