TWiki> Mizar Web>MathematicsSubjectClassification>03>03E (2010-08-17, BorisSchminke)EditAttach

03E Set theory

Section P S
03E02? Partition relations      
03E04? Ordered sets and their cofinalities; pcf theory      
03E05? Other combinatorial set theory      
03E10 Ordinal and cardinal numbers   14  
03E15? Descriptive set theory See also 28A05, 54H05    
03E17? Cardinal characteristics of the continuum      
03E20 Other classical set theory Including functions, relations, and set algebra 33  
03E25 Axiom of choice and related propositions     1
03E30? Axiomatics of classical set theory and its fragments      
03E35? Consistency and independence results      
03E40? Other aspects of forcing and Boolean-valued models      
03E45? Inner models, including constructibility, ordinal definability, and core models      
03E47? Other notions of set-theoretic definability      
03E50? Continuum hypothesis and Martin's axiom      
03E55 Large cardinals   2  
03E60? Determinacy principles      
03E65 Other hypotheses and axioms     1
03E70? Nonclassical and second-order set theories      
03E72? Fuzzy set theory      
03E75? Applications of set theory      
03E99 None of the above, but in this section   2  

P = Primary classification

S = Secondary classification

WebForm
TopicClassification MathSC2000
ProjectGroup?

ImplementationDate? N/A
Edit | Attach | Print version | History: r8 < r7 < r6 < r5 < r4 | Backlinks | Raw View | Raw edit | More topic actions
Topic revision: r8 - 2010-08-17 - 12:06:05 - BorisSchminke
 
Mizar TWiki
This site is powered by the TWiki collaboration platformCopyright © by the contributing authors. All material on this collaboration platform is the property of the contributing authors.
Ideas, requests, problems regarding TWiki? Send feedback