How to Approximate the Naive Comprehension Scheme Inside of Classical Logic |
From inside the book
Results 1-3 of 5
Page 7
... exactly the closed sets of the corresponding topology . To get really satisfying approximations , further conditions have to be imposed . First of all , the topology should be clo- sely related to the set theoretical structure , i.e ...
... exactly the closed sets of the corresponding topology . To get really satisfying approximations , further conditions have to be imposed . First of all , the topology should be clo- sely related to the set theoretical structure , i.e ...
Page 18
... exactly the am com- pact ones . Because projections conserve compactness , the projectibility follows at once . The Projection Principle too presupposes large cardinals . Theorem 2.3.3 If m is a topological universe and Imis am - pro ...
... exactly the am com- pact ones . Because projections conserve compactness , the projectibility follows at once . The Projection Principle too presupposes large cardinals . Theorem 2.3.3 If m is a topological universe and Imis am - pro ...
Page 28
... exactly the intersec- tions of finite unions of closed sets like Qui = { { molz ) / ZEN TM ^ Empoling ) or Py = { { 12 ) / 26N_AE ( X ) < __ ( ) } ( Y & ND . ( c ) It is easy to check that every element of N TM is the intersection of ...
... exactly the intersec- tions of finite unions of closed sets like Qui = { { molz ) / ZEN TM ^ Empoling ) or Py = { { 12 ) / 26N_AE ( X ) < __ ( ) } ( Y & ND . ( c ) It is easy to check that every element of N TM is the intersection of ...
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